("5.0.1.5" ("6cec34b90981dcfb2492bd49d88f7e51150f2da5" . "2d6ebb93b90475a0f929995fe13b968d8025ed23") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
