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

../
mpi-default-bin_1.15build1_amd64.deb               24-Oct-2026 14:44    2376
mpi-default-dev_1.15build1_amd64.deb               24-Oct-2026 14:38    3154