("5.0.1.5" ("13df2ce311ea5f9cfcbd5fe30865d290a0a404d1" . "824b8ac3399523cce15b6fdc2558a321418f2ff7") (collects #"scheme" #"base.rkt") (collects #"lang" #"private" #"teachprims.rkt") (collects #"syntax" #"stx.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"syntax" #"struct.rkt") (collects #"scheme" #"include.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt") (ext collects #"mzlib" #"private" #"shared-body.rkt"))
