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