("5.0.1.5" ("da4c8f18ff2958a8a0ab2a3a5fe082ba585c8e18" . "7d2f766b2f8a9c6c529e6ecdfab0e5ea75c7ad3b") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"embedded-gui" #"private" #"snip-wrapper.rkt"))
