("5.3.1" ("0961a1eeb34185cd3b74d30801bfdcee31579fc5" . "2f94842bb677bee5a87be4a32d09cd76da53c45e") (collects #"web-server" #"lang" #"util.rkt") (collects #"racket" #"contract.rkt") (collects #"web-server" #"lang" #"serial-lambda.rkt") (collects #"web-server" #"lang" #"closure.rkt") (collects #"racket" #"base.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
