("5.0.1.5" ("d7998aa7fb6f7ec22ee20d83298f4af150a6a0c5" . "d3c7df03e6cbcc8ccf51830f0da1088360b8b4fa") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"contract.rkt"))
