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