("5.0.1.5" ("f68af4c17d069608fe7451dd916b9946175a477c" . "07a0fc2eccc720eb60815cc560bc18a647a3d16c") (collects #"scheme" #"base.rkt") (collects #"scheme" #"cmdline.rkt") (collects #"raco" #"command-name.rkt") (collects #"compiler" #"private" #"embed.rkt") (collects #"dynext" #"file.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
