("7.6" racket ("912c4f3576ff5a7bcbabf9cda1dd35ce5ab77d3e" "4d29ad48f20636fecd0307c561e8b5a348e16565" . "963046576a9dae572da8c01162a6aec386caa7a8") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
