("5.3" ("8c0759fa45996aa179b2e06397857a6bf15fe4e7" . "2bcc1dd8d2dcf8469a515ba877bf0b76109bfd7a") (collects #"web-server" #"http.rkt") (collects #"xml" #"main.rkt") (collects #"web-server" #"dispatchers" #"dispatch-servlets.rkt") (collects #"web-server" #"scribblings" #"web-server.rkt") (collects #"web-server" #"servlet-env.rkt") (collects #"scribble" #"doclang.rkt") (collects #"web-server" #"templates.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
