("5.3.1" ("2c3352a3582f2dfcf4f2630f420b986d4c393512" . "468826eebc87c7fd3d796be6bf10ae84ebd1ff50") (collects #"mzlib" #"class.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"syntax" #"stx.rkt"))
