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


../
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