("5.3.1" ("adf372c76f4c07c755122773fa4cd925c3eb231a" . "55ec625179eb02313e2310c883bdcabf3edb3f9c") (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" #"match.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
