("5.0.1.5" ("477a0da3c10ccc3020f7cb4721ce40bd8469d1b5" . "0e0c6828c8fceec0c716bf906c3b3757dcd6b308") (collects #"web-server" #"dispatchers" #"dispatch-servlets.rkt") (collects #"scribble" #"doclang.rkt") (collects #"web-server" #"scribblings" #"web-server.rkt") (collects #"web-server" #"scribblings" #"servlet-setup.scrbl") (collects #"web-server" #"scribblings" #"namespace.scrbl") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
