("5.3.1" ("aed0b2e6c8ebf85083f9977e495ce408eebcdf90" . "627b1b8198104c7f5261c1e2a6391f551b9a6845") (collects #"racket" #"base.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"syntax" #"boundmap.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
