("6.6" ("862019943e8bb56b6240ff97cec7fa46ae8378ca" . "b22e7ed803708cb20c60c96bfae4cc6c55e3b8b1") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzscheme" #"main.rkt") (collects #"stepper" #"private" #"mred-extensions.rkt"))
