("5.0.1.5" ("8f4daabc257b32e628220bc15f8fc5c30c8e2992" . "95fc50ec7a0fd6de2494ffbe846d2f554c67f9a7") (collects #"scheme" #"base.rkt") (collects #"version" #"utils.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
