("5.3" ("2ba7253db6977aa3aba9bcefce1de0393935e03a" . "b30b2d9b259d5e0cd047f1cb577ffe7e74fa459b") (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"))
