("5.3.1" ("8a7230e4a3a774eb10aa57b4439d31eef6a35489" . "7f3e691303c893d5d7ddee6ccc95125e892677db") (collects #"syntax" #"name.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt"))
