data/mpi-defaults-1.13/debian/README.source: ASCII text data/mpi-defaults-1.13/debian/changelog: UTF-8 Unicode text data/mpi-defaults-1.13/debian/compat: ASCII text data/mpi-defaults-1.13/debian/control: ASCII text data/mpi-defaults-1.13/debian/control.in: ASCII text data/mpi-defaults-1.13/debian/copyright: ASCII text data/mpi-defaults-1.13/debian/mpi-default-dev.README.Debian: ASCII text data/mpi-defaults-1.13/debian/rules: a /usr/bin/make -f script, ASCII text executable data/mpi-defaults-1.13/debian/source/format: ASCII text