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