("5.0.1.5" ("f20984729e5fde4cd6514c1cda9e7024e3ac59c4" . "abd5f35ac98d7d669b53752c0cfd38156e7f15f9") (collects #"scheme" #"base.rkt") (collects #"mzlib" #"include.rkt") (collects #"srfi" #"23.rkt") (collects #"srfi" #"42.rkt") (collects #"mzlib" #"pretty.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt") (ext collects #"srfi" #"78" #"check-reference.scm"))
