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