Index of /debian/pool/main/m/mpi-defaults

Icon  Name                           Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] mpi-defaults_1.14.dsc 2021-08-04 15:55 2.6K [   ] mpi-default-bin_1.14_amd64.deb 2021-08-04 16:40 4.6K [   ] mpi-defaults_1.14.tar.xz 2021-08-04 15:55 5.3K [   ] mpi-default-dev_1.14_amd64.deb 2021-08-04 16:40 5.4K