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

../
libopenmpi-dev_4.1.6-13.3_x32.deb                  06-May-2024 18:03             1026236
libopenmpi3t64-dbgsym_4.1.6-13.3_x32.deb           06-May-2024 18:03            17126136
libopenmpi3t64_4.1.6-13.3_x32.deb                  06-May-2024 18:03             2554104
openmpi-bin-dbgsym_4.1.6-13.3_x32.deb              06-May-2024 18:03              108524
openmpi-bin_4.1.6-13.3_x32.deb                     06-May-2024 18:03              195644
openmpi_4.1.6-13.3_x32.buildinfo                   06-May-2024 18:03               11602