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