("5.3.1" ("d6d583c56539fd78ad6379d28a8d4b008948f696" . "15c85b07a69efa9e68aba0eaf0f04e367bb2c80f") (collects #"mzlib" #"class.rkt") (collects #"parser-tools" #"private-yacc" #"grammar.rkt") (collects #"parser-tools" #"private-lex" #"token-syntax.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"parser-tools" #"private-yacc" #"yacc-helper.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"contract.rkt"))
