("5.0.1.5" ("c8cd36322c659ec322e4e892c15521290fd1f458" . "9095bad1e6359058d0f4ef2b2a16a5eacb3936ba") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mred" #"main.rkt"))
