data/nproc-0.5.1/INSTALL:                                                                        ASCII text
data/nproc-0.5.1/LICENSE:                                                                        ASCII text
data/nproc-0.5.1/META.in:                                                                        ASCII text
data/nproc-0.5.1/OMakefile:                                                                      ASCII text
data/nproc-0.5.1/OMakeroot:                                                                      ASCII text
data/nproc-0.5.1/README.md:                                                                      ASCII text
data/nproc-0.5.1/VERSION:                                                                        ASCII text
data/nproc-0.5.1/nproc.mli:                                                                      Ruby script, ASCII text
data/nproc-0.5.1/test_nproc.ml:                                                                  ASCII text
data/nproc-0.5.1/debian/changelog:                                                               UTF-8 Unicode text
data/nproc-0.5.1/debian/clean:                                                                   ASCII text
data/nproc-0.5.1/debian/control:                                                                 UTF-8 Unicode text
data/nproc-0.5.1/debian/copyright:                                                               UTF-8 Unicode text
data/nproc-0.5.1/debian/gbp.conf:                                                                ASCII text
data/nproc-0.5.1/debian/libnproc-ocaml-dev.docs:                                                 ASCII text
data/nproc-0.5.1/debian/patches/0001-Do-not-install-redundant-files.patch:                       unified diff output, ASCII text
data/nproc-0.5.1/debian/patches/0002-Retry-waitpid-if-it-fails-with-EINTR.patch:                 unified diff output, ASCII text
data/nproc-0.5.1/debian/patches/0003-possible-fix-for-concurrent-access-to-the-input-stre.patch: unified diff output, ASCII text
data/nproc-0.5.1/debian/patches/0004-slightly-more-efficient-fix-for-concurrent-access-to.patch: unified diff output, ASCII text
data/nproc-0.5.1/debian/patches/series:                                                          ASCII text
data/nproc-0.5.1/debian/rules:                                                                   a /usr/bin/make -f script, ASCII text executable
data/nproc-0.5.1/debian/source/format:                                                           ASCII text
data/nproc-0.5.1/debian/watch:                                                                   ASCII text
data/nproc-0.5.1/.pc/.version:                                                                   ASCII text
data/nproc-0.5.1/.pc/.quilt_patches:                                                             ASCII text
data/nproc-0.5.1/.pc/.quilt_series:                                                              ASCII text
data/nproc-0.5.1/.pc/applied-patches:                                                            ASCII text
data/nproc-0.5.1/.pc/0001-Do-not-install-redundant-files.patch/Makefile:                         makefile script, ASCII text
data/nproc-0.5.1/.pc/0002-Retry-waitpid-if-it-fails-with-EINTR.patch/nproc.ml:                   C source, ASCII text
data/nproc-0.5.1/.pc/0003-possible-fix-for-concurrent-access-to-the-input-stre.patch/nproc.ml:   C source, ASCII text
data/nproc-0.5.1/.pc/0004-slightly-more-efficient-fix-for-concurrent-access-to.patch/nproc.ml:   C source, ASCII text
data/nproc-0.5.1/Makefile:                                                                       makefile script, ASCII text
data/nproc-0.5.1/nproc.ml:                                                                       C source, ASCII text