("5.3.1" ("867d310d82d33f939afae36e8373619e20d87a4f" . "da8b2294867e2be9d81ee9eb9040d2630bff965e") (collects #"racket" #"include.rkt") (collects #"racket" #"base.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"racket" #"struct-info.rkt") (collects #"syntax" #"struct.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt") (ext collects #"racket" #"private" #"shared-body.rkt"))
