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

../
mpi-default-bin_1.20_amd64.deb                     03-Jun-2026 23:17                2658
mpi-default-dev_1.20_amd64.deb                     03-Jun-2026 23:17                3456