("5.0.1.5" ("8da6257b16cd5220a45b06711981a2091d763fdb" . "b08bbb8fcc0f6cd97c83df9dc7ad07fefeab7960") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"class100.rkt") (collects #"mzlib" #"list.rkt") (collects #"mred" #"private" #"kernel.rkt") (collects #"mred" #"private" #"lock.rkt") (collects #"mred" #"private" #"helper.rkt") (collects #"mred" #"private" #"const.rkt") (collects #"mred" #"private" #"wx.rkt") (collects #"mred" #"private" #"kw.rkt") (collects #"mred" #"private" #"check.rkt") (collects #"mred" #"private" #"wxcontainer.rkt") (collects #"mred" #"private" #"mrwindow.rkt"))
