("5.0.2" ("b006c6472cef4874ebc916d71120f777f1d2688d" . "4fa39db7abe7c752da92b010da1312ef8d4029a2") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
