("5.0.1.5" ("8c79112589b81f661f7985cb8bcc16c557e5a8ed" . "85fcb48e8795d457b19a3ec455e256bb56392c14") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"unit.rkt") (collects #"mred" #"mred-sig.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"etc.rkt") (collects #"setup" #"plt-installer-sig.rkt") (collects #"setup" #"plt-single-installer.rkt") (collects #"string-constants" #"main.rkt"))
