("5.3.1" ("b6359c0eca4e2b71310a109cf6401f6503b8e78b" . "3cb561b79993a5825fc31d7658e2461cde3365e2") (collects #"mzlib" #"unit200.rkt") (collects #"mzlib" #"private" #"sigmatch.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"mzlib" #"private" #"sigutil.rkt"))
