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

../
mpi-default-bin_1.17_ppc64.deb                                                                                           08-Jul-2024 12:03    2372
mpi-default-dev_1.17_ppc64.deb                                                                                           08-Jul-2024 12:03    3148
mpi-defaults_1.17_ppc64.buildinfo                                                                                        08-Jul-2024 12:03    7551