File list of package mpi-default-dev in aramo of architecture armhf

/usr/share/doc/mpi-default-dev/README.Debian
/usr/share/doc/mpi-default-dev/changelog.gz
/usr/share/doc/mpi-default-dev/copyright
/usr/share/mpi-default-dev/debian_defaults