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