("5.0.1.5" ("8e9526bedb8c4b3f42717b34c5b7ef7871e7c964" . "a0aca82609ca9c8801900d6c14250502856c674d") (collects #"scheme" #"base.rkt") (collects #"planet" #"private" #"cmdline-tool.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
