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

../
mpi-default-bin_1.13_amd64.deb                     09-Mar-2023 22:25                2968
mpi-default-dev_1.13_amd64.deb                     09-Mar-2023 22:25                3748