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

../
libopenmpi-dev_4.1.6-13.3_x32.deb                                                                                        06-May-2024 18:03   1002K
libopenmpi3t64-dbgsym_4.1.6-13.3_x32.deb                                                                                 06-May-2024 18:03     16M
libopenmpi3t64_4.1.6-13.3_x32.deb                                                                                        06-May-2024 18:03      2M
openmpi-bin-dbgsym_4.1.6-13.3_x32.deb                                                                                    06-May-2024 18:03    106K
openmpi-bin_4.1.6-13.3_x32.deb                                                                                           06-May-2024 18:03    191K
openmpi_4.1.6-13.3_x32.buildinfo                                                                                         06-May-2024 18:03     11K