("5.3.1" ("3f2713cf40dae17c4811a362ba3f0bb1e65e824f" . "39b47d5fc36a5b9e599b64ef5e9b27dddcfc2c23") (collects #"syntax" #"parse.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"syntax.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
