../ mpi-default-bin_1.10_amd64.deb 28-May-2020 18:05 3108 mpi-default-bin_1.4_amd64.deb 28-May-2020 21:31 3370 mpi-default-dev_1.10_amd64.deb 28-May-2020 17:46 3888 mpi-default-dev_1.4_amd64.deb 28-May-2020 21:54 4154