("8.15" tarm32nb ("f20984729e5fde4cd6514c1cda9e7024e3ac59c4" . "4a3e5a531839c9d3b78a6ca107bcd4b735a6f48c") (collects #"mzlib" #"include.rkt") (collects #"mzlib" #"pretty.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"srfi" #"23.rkt") (collects #"srfi" #"42.rkt") (ext collects #"srfi" #"78" #"check-reference.scm"))
