("7.6" racket ("04c603497a623f7535e5f040bc5d5ca63fb9fc1f" "ef44bbab0203e367e5b2b933be66097e691ad20f" . "a80b297aaa3510b85e6b2bb952b7ea414f56a7c5") (collects #"pkg" #"main.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
