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

../
mpi-default-bin_1.20_amd64.deb                     21-Jun-2026 06:49    2658
mpi-default-dev_1.20_amd64.deb                     21-Jun-2026 06:49    3456