("5.0.1.5" ("1d337c3598ae486123e39fbb989fccae063bdb2a" . "fb009a2da5bdfdb96faa5e3d3e5f3767e85f6f66") (collects #"framework" #"private" #"decode.rkt") (collects #"mred" #"mred.rkt") (collects #"mzlib" #"class.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
