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

../
mpi-default-bin_1.20_sh4.deb                       08-Jan-2026 00:03    2720
mpi-default-dev_1.20_sh4.deb                       08-Jan-2026 00:03    3504
mpi-defaults_1.20_sh4.buildinfo                    08-Jan-2026 00:03    5866