("5.0.1.5" ("54cd95b98874de0e8660f6196d15ce81128e5ff8" . "17f0091ca46839c47f98252c3351d73190c234d5") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"stepper" #"private" #"xml-snip-helpers.rkt") (collects #"mzlib" #"class.rkt") (collects #"mred" #"main.rkt"))
