("5.3.6" ("9b4c5e8da2f169cc69305d9c072b004afb60e839" . "b13488586708364db3a2d673d7b64f7ad93986c7") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"doclang.rkt") (collects #"syntax" #"parse" #"private" #"runtime-report.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
