("5.3.1" ("464dea17393b9ddca3572b06fbc6b00147da6dca" . "b602f5e1247c45d64581d9a19502a50b4d907db3") (collects #"wxme" #"private" #"class-help.rkt") (collects #"wxme" #"wxme.rkt") (collects #"mzlib" #"class.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt"))
