("5.0.1.5" ("45fcacc0b1166caa85682c5383f15d73290fd47f" . "98e32ed3d1fce42e576ed5e09fee01e686e74386") (collects #"scheme" #"gui.rkt") (collects #"htdp" #"error.rkt") (collects #"htdp" #"big-draw.rkt") (collects #"lang" #"prim.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"class.rkt") (collects #"scheme" #"gui" #"lang" #"reader.rkt"))
