("5.0.1.5" ("5a0eb5eb66c358f01108bdc1058224740b4fea52" . "2b859292a5ecd45f6f5bbc2dc8602728f8a8150a") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"etc.rkt") (collects #"embedded-gui" #"private" #"snip-wrapper.rkt"))
