("5.3.1" ("d036fbd1566f95e57fd03528a2ca9430bda339f8" . "6ad3316e2bb81edd5fb3c3a31dd937c915d9e56d") (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"))
