("5.0.1.5" ("374e10347bb107d01fcc99902f7c04610e3e8219" . "1cce10a8949a4b2d3c9ba120b62742775e74ce16") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzlib" #"etc.rkt") (collects #"framework" #"main.rkt") (collects #"mred" #"main.rkt") (collects #"mzlib" #"contract.rkt"))
