("5.0.1.5" ("bb294217548b6a7c8bb6efcbe7662bc9a8dabb74" . "c415f5f06605c2fd0665efb5699bf5c71da87f25") (collects #"mzlib" #"pconvert.rkt") (collects #"mzlib" #"pconvert-prop.rkt") (collects #"scheme" #"pretty.rkt") (collects #"scribble" #"doclang.rkt") (collects #"mzlib" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
