("5.3.1" ("aa64418a5746b475bbbac787570ecd4bc1b9579b" . "d2c0128223a23c63cf3ef3bc17e8f07bf313031b") (collects #"wxme" #"private" #"class-help.rkt") (collects #"mzlib" #"class.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt"))
