("5.0.1.5" ("bc95db1ac4dda4a37e70a5ca08664ffe2683c522" . "0735e417f73e661b52c5f03ae4e05330700b4bc3") (collects #"syntax" #"modcollapse.rkt") (collects #"scribble" #"doclang.rkt") (collects #"syntax" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
