("5.0.1.5" ("372c87271487c062754b42e0cd6b5e56f4b101d5" . "c712fa1357207b35b0ffd4af587a980095643f59") (collects #"racket" #"main.rkt") (collects #"racket" #"serialize.rkt") (collects #"web-server" #"private" #"servlet.rkt") (collects #"web-server" #"managers" #"manager.rkt") (collects #"web-server" #"private" #"define-closure.rkt") (collects #"web-server" #"lang" #"web-cells.rkt") (collects #"racket" #"lang" #"reader.rkt"))
