("5.3" ("2ba7253db6977aa3aba9bcefce1de0393935e03a" . "0b201abd42a66f64dd07a4d0748a1cba1d001453") (collects #"scribble" #"eval.rkt") (collects #"syntax" #"parse.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"struct.rkt") (collects #"syntax" #"scribblings" #"parse" #"parse-common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
