("5.3.1" ("7b2b7eb43952ce625cda1cb5daaa0def56b6c5fe" . "f58bd0ce952cc7537f23f1a662af9de514019b88") (collects #"racket" #"enter.rkt") (collects #"racket" #"help.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"lang" #"reader.rkt"))
