("5.3.1" ("da88a3a8a4a48fe0460904687c37d0f02fe75da8" . "f812523828a262bab6a708085862be0ed9af4db7") (collects #"racket" #"base.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"racket" #"syntax.rkt") (collects #"racket" #"private" #"local.rkt") (collects #"racket" #"private" #"stxparam.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
