("5.0.1.5" ("492fbfa0e5e1af304ea5c15d423218437672dc2c" . "ea2be5701ff7c5083a352328d38525d3c9418295") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"unit.rkt") (collects #"mred" #"main.rkt") (collects #"mred" #"mred-sig.rkt") (collects #"setup" #"plt-installer-sig.rkt") (collects #"setup" #"plt-installer.rkt") (collects #"net" #"tcp-sig.rkt") (collects #"net" #"url-sig.rkt") (collects #"net" #"url.rkt") (collects #"browser" #"browser-sig.rkt") (collects #"browser" #"browser-unit.rkt"))
