Index of /debian-ports/pool-x32/main/m/mpi-defaults/

../
mpi-default-bin_1.20_x32.deb                       07-Jan-2026 18:03    2720
mpi-default-dev_1.20_x32.deb                       07-Jan-2026 18:03    3504
mpi-defaults_1.20_x32.buildinfo                    07-Jan-2026 18:03    6424