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

../
libopenmpi-dev_4.1.6-9_x32.deb                     09-Apr-2024 12:03             1025868
libopenmpi3t64-dbgsym_4.1.6-9_x32.deb              09-Apr-2024 12:03            16256696
libopenmpi3t64_4.1.6-9_x32.deb                     09-Apr-2024 12:03             2406032
openmpi-bin-dbgsym_4.1.6-9_x32.deb                 09-Apr-2024 12:03              108392
openmpi-bin_4.1.6-9_x32.deb                        09-Apr-2024 12:03              195344
openmpi_4.1.6-9_x32.buildinfo                      09-Apr-2024 12:03               11676