("5.0.1.5" ("42a8bbff2a75e36eeda5dce83ce1d6d025bf69a0" . "870d011998c08df27913b4852223a329feaf06cd") (collects #"scheme" #"gui.rkt") (collects #"htdp" #"big-draw.rkt") (collects #"htdp" #"error.rkt") (collects #"lang" #"prim.rkt") (collects #"lang" #"posn.rkt") (collects #"mzlib" #"etc.rkt") (collects #"scheme" #"gui" #"lang" #"reader.rkt"))
