("5.0.1.5" ("707e74b5299745764644b79eeb5c7bb1c77dacf2" . "898f7a03fe8caf3aac9bf0d43585f903e2a4fe1b") (collects #"setup" #"dirs.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"foreign" #"utils.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
