("5.0.1.5" ("82520e422b7ebae7f90f3cc8d0c7ac5dbb9403b1" . "a90f641ca39aca7b1c3bec6df4956d7aea513f60") (collects #"racket" #"main.rkt") (collects #"web-server" #"servlet-env.rkt") (collects #"web-server" #"http.rkt") (collects #"racket" #"lang" #"reader.rkt"))
