("5.0.1.5" ("523579aa0983b89ddcd6be4b662d1ccc5cff011b" . "7251cc3cd1b6294ff3b9f5216f77c18324c3bacb") (collects #"scheme" #"main.rkt") (collects #"mzlib" #"unit.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
