("5.3.1" ("f3391ea634c3b947d641a678d589e98d9848ae8d" . "fbb637829f620c64efd54073a80c74cee3e7289f") (collects #"syntax" #"context.rkt") (collects #"racket" #"base.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
