("5.0.1.5" ("3b0af9769f58e0695940cda8a5bae54df60a6e4a" . "7d0dc503c676c3b574ed013755c0f677918bc294") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"string-constants" #"main.rkt") (collects #"net" #"head.rkt") (collects #"mred" #"main.rkt") (collects #"framework" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"net" #"url.rkt") (collects #"net" #"uri-codec.rkt") (collects #"browser" #"htmltext.rkt") (collects #"setup" #"dirs.rkt") (collects #"help" #"private" #"buginfo.rkt"))
