("5.0.1.5" ("4af95c6d6ad067fd9eeb43964d3f905be371f36e" . "9de55ce837af7ce05f73de1733bdf0413b166601") (collects #"scheme" #"gui.rkt") (collects #"htdp" #"error.rkt") (collects #"lang" #"prim.rkt") (collects #"mzlib" #"unitsig.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"list.rkt") (collects #"scheme" #"gui" #"lang" #"reader.rkt"))
