("5.3.1" ("db7e9899c4b17d8ad8283dec50e0e9090f4acb19" . "f1dfb290f35e169dde1f6149121dc4be8e779d44") (collects #"parser-tools" #"private-yacc" #"grammar.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt"))
