("5.3.1" ("05c27d0e87e782d326af3cec8495c69b30182d18" . "df720b3456b76332a9447d4984e58bf891b65a79") (collects #"wxme" #"wxme.rkt") (collects #"mzlib" #"class.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt"))
