Index of /desktop-professional/pool/main/o/openmpi/

../
libopenmpi-dev_3.1.3-11_amd64.deb                  09-May-2026 12:19              974228
libopenmpi3_3.1.3-11_amd64.deb                     09-May-2026 12:19             2191232
openmpi-bin_3.1.3-11_amd64.deb                     09-May-2026 12:19              200008
openmpi-common_3.1.3-11_all.deb                    09-May-2026 12:20              164096
openmpi-doc_3.1.3-11_all.deb                       09-May-2026 12:20              761016