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

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