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