Liste des fichiers du paquet mpi-default-bin dans sid pour l'architecture riscv64
/usr/share/doc/mpi-default-bin/changelog.gz /usr/share/doc/mpi-default-bin/copyright /usr/share/doc/mpi-default-bin/changelog.gz /usr/share/doc/mpi-default-bin/changelog.riscv64.gz /usr/share/doc/mpi-default-bin/copyright