Index of /ubuntu/focal/pool/universe/m/mpi-defaults/

../
mpi-default-bin_1.13_amd64.deb                     13-May-2018 19:14                2968
mpi-default-dev_1.13_amd64.deb                     13-May-2018 19:14                3748