("5.3.1" ("d0f0f6ef3c83a0faa5c136c554415a44b68dde7e" . "cc9f7289f7f340a1f05072cc15a6f4904e0b7433") (collects #"scheme" #"base.rkt") (collects #"launcher" #"main.rkt") (collects #"compiler" #"embed.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
