("5.3" ("adc76c8104d7411bbc089a4f64ee4b4aaed3819e" . "a64be8498cad5f3242c17e6d90b3a2eacdab727d") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
