("5.3.1" ("e887869f1319cf3346463f1d5fb03ca3d16bfa39" . "f9aa2346aa3c2bb39f8fce91808e1dee633256a3") (collects #"srfi" #"1.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"srfi" #"57" #"registry.rkt") (collects #"mzscheme" #"main.rkt") (collects #"srfi" #"9.rkt"))
