("5.0.1.5" ("33a842baf40ee252e4841bcf3bdf4f491a10a1a2" . "43554dd48a8fff0a1698b3fec96844552614bccb") (collects #"mzlib" #"include.rkt") (collects #"scribble" #"doclang.rkt") (collects #"mzlib" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
