("5.3" ("d036fbd1566f95e57fd03528a2ca9430bda339f8" . "7d6034b799ab3da66b73312a1954d05f01932a87") (collects #"scribblings" #"reference" #"file-ports.scrbl") (collects #"scribblings" #"reference" #"port-procs.scrbl") (collects #"scribblings" #"reference" #"port-line-counting.scrbl") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"prop-port.scrbl") (collects #"scribblings" #"reference" #"string-ports.scrbl") (collects #"scribblings" #"reference" #"port-buffers.scrbl") (collects #"scribblings" #"reference" #"pipes.scrbl") (collects #"scribblings" #"reference" #"port-lib.scrbl") (collects #"scribblings" #"reference" #"custom-ports.scrbl") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribblings" #"reference" #"encodings.scrbl") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
