("5.0.1.5" ("65149a653c21702ea409d4923adcd5d3e063cb6a" . "a91d914094c8007ad4aa0ea6c05da7e38a9bc564") (collects #"scheme" #"base.rkt") (collects #"planet" #"private" #"prefix-dispatcher.rkt") (collects #"scheme" #"cmdline.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
