("5.0.1.5" ("7056b097ac832151b2ef801bfc6989b6322ad151" . "3b9cdd02462b22710be20c99085f8fe07ee3528a") (collects #"file" #"tar.rkt") (collects #"file" #"gzip.rkt") (collects #"scribble" #"doclang.rkt") (collects #"file" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
