("5.3.1" ("4db32b5b8c244d7f9f3fbdfc9b9334d9ba447cfc" . "69c8d4f3c3c1be2665dcc61cd5f747923c7dfa63") (collects #"racket" #"serialize.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"list.rkt") (collects #"web-server" #"lang" #"closure.rkt") (collects #"racket" #"base.rkt") (collects #"web-server" #"lang" #"labels.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
