("5.0.1.5" ("494cd3443bdf7522daad3907265f57f16fd23a0a" . "b4478f8cd962535204a44e36b12bce0086b56083") (collects #"syntax" #"docprovide.rkt") (collects #"scribble" #"doclang.rkt") (collects #"syntax" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
