("8.1" racket ("7b2b7eb43952ce625cda1cb5daaa0def56b6c5fe" "cb8b4151bd877afd06cd1a6f913832740c814775" . "1880020a2e0e1ea8c719a587aeebf1588c1e49b0") (collects #"racket" #"enter.rkt") (collects #"racket" #"help.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt"))
