("5.0.1.5" ("3fad8ac6142d9d35eb38b90000e803f367e49344" . "c56cf08dea94f4a6d36258b6fd4a91dec3a04464") (collects #"racket" #"main.rkt") (collects #"web-server" #"private" #"gzip.rkt") (collects #"web-server" #"stuffers" #"stuffer.rkt") (collects #"racket" #"lang" #"reader.rkt"))
