("5.0.1.5" ("1c247308a87d5d69b54c4f63d6c2f1e8a915da0c" . "6ce8ccda2250a492e7145204336dd4e692b13f3c") (collects #"scribble" #"doclang.rkt") (collects #"mysterx" #"scribblings" #"common.rkt") (collects #"mysterx" #"scribblings" #"browsers.scrbl") (collects #"mysterx" #"scribblings" #"documents.scrbl") (collects #"mysterx" #"scribblings" #"html-events.scrbl") (collects #"mysterx" #"scribblings" #"html.scrbl") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
