("5.0.1.5" ("b006c6472cef4874ebc916d71120f777f1d2688d" . "dd0e695de8179b9b22a66a9ae1554f345fa4d70a") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
