Index of /pool/basic/debian/o/openmpi/

../
libopenmpi-dev_5.0.7-1_amd64.deb                   21-Sep-2026 21:53             1088548
libopenmpi40_5.0.7-1_amd64.deb                     21-Sep-2026 21:53             2364548
openmpi-bin_5.0.7-1_amd64.deb                      21-Sep-2026 21:53              188932
openmpi-common_5.0.7-1_all.deb                     21-Sep-2026 21:53               97184
openmpi-doc_5.0.7-1_all.deb                        21-Sep-2026 21:53             8523820