("5.0.1.5" ("5a480c1e0500887a830142f0ba18b7f8fefa62dd" . "3bbc8b2adf57ca6602a2984343bd1e98cbf4e98f") (collects #"scheme" #"base.rkt") (collects #"scheme" #"serialize.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
