("5.0.1.5" ("396c3708b766d16a73948118cf8462cddccc1d6b" . "7ccb48e750a306a4bd1c85a1ad5e17001a0378dd") (collects #"file" #"zip.rkt") (collects #"file" #"gunzip.rkt") (collects #"scheme" #"file.rkt") (collects #"scribble" #"doclang.rkt") (collects #"file" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
