("7.6" racket ("7b2b7eb43952ce625cda1cb5daaa0def56b6c5fe" "b2a568040c0c7ffddc4f15bb6a6aa80e79446732" . "7cd18fee04fecb76b3c2091c151033fe416907ab") (collects #"racket" #"enter.rkt") (collects #"racket" #"help.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt"))
