("5.3.1" ("0cae42313834e9bdca6eff75eb764db450cdeee1" . "5d18d8240d257a8906f5f9fe39d4a5a9ef84866d") (collects #"syntax" #"parse" #"private" #"sc.rkt") (collects #"syntax" #"parse.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
