("5.3.1" ("df7f95334089e7ef80d248d370e82eb225425892" . "60dd9e3961810763ba894449c2969ac7298a5135") (collects #"mzlib" #"class.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"parser-tools" #"private-yacc" #"yacc-helper.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"contract.rkt") (collects #"mzlib" #"list.rkt"))
