Index of /debian/pool/main/o/openmpi/

../
libopenmpi-dev_5.0.7-1_amd64.deb                   17-Feb-2025 15:36             1088548
libopenmpi40_5.0.7-1_amd64.deb                     17-Feb-2025 15:36             2364548
openmpi-bin_5.0.7-1_amd64.deb                      17-Feb-2025 15:36              188932
openmpi-common_5.0.7-1_all.deb                     17-Feb-2025 15:35               97184
openmpi-doc_5.0.7-1_all.deb                        17-Feb-2025 15:35             8523820