("5.0.2" ("6cec34b90981dcfb2492bd49d88f7e51150f2da5" . "173caac241585bf21629fa9acea3b572ac697af9") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
