("5.3.1" ("c7ccffecca6535176bd0ff0da114d3f5b7def828" . "ada78288b933a59785d3aeebd094cf9821284cff") (collects #"web-server" #"managers" #"manager.rkt") (collects #"web-server" #"http.rkt") (collects #"racket" #"contract.rkt") (collects #"web-server" #"servlet" #"servlet-structs.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
