("5.0.1.5" ("b8c28b2b76143da6be701d2c9d00d2de867a6769" . "8532f88d2bbc21086741e1ad42455ad158c8a07c") (collects #"racket" #"base.rkt") (collects #"web-server" #"lang" #"abort-resume.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"contract.rkt") (collects #"web-server" #"lang" #"util.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
