("5.0.1.5" ("f84f2eb035b8eaacc31712d7f359febd5b28ec80" . "d6b57d5afe9cda4909fca41958170e1f42d3ab5c") (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" #"wxme" #"cycle.rkt") (collects #"mred" #"private" #"lock.rkt") (collects #"mred" #"private" #"const.rkt") (collects #"mred" #"private" #"helper.rkt") (collects #"mred" #"private" #"check.rkt") (collects #"mred" #"private" #"wx.rkt") (collects #"mred" #"private" #"wxmenu.rkt") (collects #"mred" #"private" #"mrmenuintf.rkt"))
