("5.0.1.5" ("cd966a4ba8dd18ff94a56d71a85b85616edabdc2" . "764b9ede7e744d103bd5b755e711a13435f6d2a8") (collects #"file" #"sha1.rkt") (collects #"scribble" #"doclang.rkt") (collects #"file" #"scribblings" #"common.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
