("5.3.1" ("dbfa895ac5ba404d5b8d7217d68df6745fb7a586" . "f407b89c3a27bf17c2e08a78d4655ef4c68ed789") (collects #"web-server" #"http.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"base.rkt") (collects #"web-server" #"private" #"connection-manager.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
