("5.3.1" ("5cbffa9b8a4f50d5c524b9ddc63d39a23c6e18f6" . "757c8fcba5b6205a9123d535e29cdbe68f603b8d") (collects #"planet" #"resolver.rkt") (collects #"racket" #"base.rkt") (collects #"syntax" #"module-reader.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
