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

../
mpi-default-bin_1.10_amd64.deb                     14-Jan-2021 23:14                3108
mpi-default-bin_1.4_amd64.deb                      14-Jan-2021 22:30                3370
mpi-default-dev_1.10_amd64.deb                     14-Jan-2021 23:16                3888
mpi-default-dev_1.4_amd64.deb                      14-Jan-2021 22:44                4154