("5.0.1.5" ("d349e4b82d23ed6d17d7adcca127b5df65d7cfa6" . "bd9d4ec5b8a649536f6b62537f6793cd038be731") (collects #"scheme" #"base.rkt") (collects #"scheme" #"class.rkt") (collects #"string-constants" #"string-constant.rkt") (collects #"stepper" #"private" #"mred-extensions.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
