("5.0.1.5" ("457efc3f0d323620f62bbbd1f9cd680d2c40fab2" . "59fee9cc0b0786a77617736935d3adfb614fbed9") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
