("5.3.1" ("598ceec8af539ffaba1d5f9750ff77d002ab61cd" . "cfe9676c83b734e7dc726a41b468c124d17e439e") (collects #"syntax" #"parse.rkt") (collects #"racket" #"base.rkt") (collects #"unstable" #"automata" #"re.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
