("5.0.1.5" ("b43dd22aec1e523ce2b9de6c5b8c4a706e399983" . "ea068e6fa9f7b4a31e3e6f27c85a31690eabb81d") (collects #"web-server" #"private" #"gzip.rkt") (collects #"file" #"gzip.rkt") (collects #"file" #"gunzip.rkt") (collects #"scribble" #"doclang.rkt") (collects #"web-server" #"scribblings" #"web-server.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
