("5.0.1.5" ("84f4b2e7976a2433bb29c86bd3109f1077aa8146" . "fb096b9f1d2b80cb621ae794064d9e19e4c514b0") (collects #"web-server" #"lang" #"file-box.rkt") (collects #"racket" #"serialize.rkt") (collects #"scribble" #"doclang.rkt") (collects #"web-server" #"scribblings" #"web-server.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
