("5.0.2" ("3b0af9769f58e0695940cda8a5bae54df60a6e4a" . "310d967c74f86a002fdd4a8f4162e692616393f8") (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"))
