("5.0.1.5" ("b1628acf1feb8a200ddc70fba4c686160c90b1c0" . "c96e4e46dcc61549913698d139e291364b2cbd5c") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mred" #"private" #"kernel.rkt") (collects #"mred" #"private" #"wxme" #"style.rkt") (collects #"mred" #"private" #"lock.rkt"))
