("5.3.1" ("983ab83060e635855b430f6f74d9f0dd3de59e10" . "05ec92a7cef870f193bf8131a3171d6346563377") (collects #"racket" #"unit.rkt") (collects #"racket" #"base.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"syntax" #"stx.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
