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

../
mpi-default-bin_1.10_amd64.deb                     02-Oct-2018 09:37                3108
mpi-default-bin_1.4_amd64.deb                      16-Mar-2016 09:38                3370
mpi-default-dev_1.10_amd64.deb                     02-Oct-2018 09:44                3888
mpi-default-dev_1.4_amd64.deb                      16-Mar-2016 11:37                4154