../ mpi-default-bin_1.13_amd64.deb 11-Apr-2022 11:20 4672 mpi-default-bin_1.13_i386.deb 11-Apr-2022 11:38 4672 mpi-default-dev_1.13_amd64.deb 11-Apr-2022 10:57 5476 mpi-default-dev_1.13_i386.deb 11-Apr-2022 11:28 5476 mpi-defaults_1.13.dsc 11-Apr-2022 11:06 2676 mpi-defaults_1.13.tar.xz 11-Apr-2022 11:06 5316