("5.0.1.5" ("14ff4653272205c2f20ea6f90fa4570ce60773dc" . "43e1f9b2d7e20bb19dd2020f596e78371e74950e") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"wxme" #"wxme.rkt") (collects #"wxme" #"editor.rkt") (collects #"wxme" #"private" #"readable-editor.rkt"))
