("5.0.1.5" ("cf77184b451137a4ef37c03bd092c76aaed44414" . "24be7730ce8d90ce2955b7bce6103f07cbfeddbf") (collects #"scheme" #"base.rkt") (collects #"scheme" #"unit.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
