("5.0.1.5" ("586433f5ffe02510536c8105e0948a80bf9b7af8" . "4d5fa468f3d7e3d56b9f26d3dd6a9067ce6dd695") (collects #"scheme" #"base.rkt") (collects #"mzlib" #"unit-exptime.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
