("5.3.1" ("843d718fdcf8b19b52795c08cc3e677e5a70769a" . "f5712c630a52ed5f528e64e66033832b665937f4") (collects #"syntax" #"define.rkt") (collects #"racket" #"contract.rkt") (collects #"syntax" #"parse.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"syntax.rkt") (collects #"racket" #"provide-transform.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
