("5.3.1" ("30513d9f89c32978a5ab18b0baaed1b5abf7d067" . "0424de2226ddcd7a03ce573408d91e99780999d8") (collects #"srfi" #"42" #"extra-generators.scm") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"srfi" #"42" #"ec-core.scm"))
