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

../
mpi-default-bin_1.13_amd64.deb                     07-Feb-2022 10:24                2968
mpi-default-dev_1.13_amd64.deb                     07-Feb-2022 09:34                3748