("5.0.1.5" ("07e36b026aa33c0828a8c69da14fd75a1e6c54c4" . "3c71b0e8685a410025d0ab7717c24c1ae94aa193") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzlib" #"class.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"contract.rkt") (collects #"embedded-gui" #"private" #"interface.rkt") (collects #"embedded-gui" #"private" #"snip-lib.rkt"))
