("5.3.1" ("be4ef8cb724c888c2668004dfe1400521cf91731" . "5a68ccd1e1aa31d46809869da045a36504f84702") (collects #"scribble" #"decode.rkt") (collects #"racket" #"base.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
