Index of /debian-ports/pool-ppc64/main/o/openmpi/

../
libopenmpi-dev_5.0.7-1_ppc64.deb                                                                                         17-Feb-2025 18:03    991K
libopenmpi40-dbgsym_5.0.7-1_ppc64.deb                                                                                    17-Feb-2025 18:03      8M
libopenmpi40_5.0.7-1_ppc64.deb                                                                                           17-Feb-2025 18:03      2M
openmpi-bin-dbgsym_5.0.7-1_ppc64.deb                                                                                     17-Feb-2025 18:03    617K
openmpi-bin_5.0.7-1_ppc64.deb                                                                                            17-Feb-2025 18:03    184K
openmpi_5.0.7-1_ppc64.buildinfo                                                                                          17-Feb-2025 18:03    9980