../ mpi-default-bin_1.13_amd64.deb 11-Apr-2020 06:06 4672 mpi-default-bin_1.13_i386.deb 11-Apr-2020 06:06 4672 mpi-default-dev_1.13_amd64.deb 11-Apr-2020 06:06 5476 mpi-default-dev_1.13_i386.deb 11-Apr-2020 06:06 5476 mpi-defaults_1.13.dsc 11-Apr-2020 06:06 2676 mpi-defaults_1.13.tar.xz 11-Apr-2020 06:06 5316