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