("5.0.1.5" ("2db0efd5222773cd0b1c5e79cf0a8b531ff73e2b" . "a0db4f89bcad9283d804102eeabdef3404afa324") (collects #"scheme" #"mzscheme.rkt") (collects #"srfi" #"1.rkt") (collects #"srfi" #"57" #"registry.rkt") (collects #"mzscheme" #"main.rkt") (collects #"srfi" #"9.rkt"))
