("5.0.1.5" ("ab269ed31926ea806e05eecea9900118ac1f63a8" . "2334b012a1dbdd2a29e9fae3d0e59d0d8b1ad5e9") (collects #"scribble" #"doclang.rkt") (collects #"mzlib" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
