("5.3.6" ("7579c17340db50d23acaec4e2671761290837ea7" . "3722b6498fcd76520d7ceb026700a47e3ada392b") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
