Index of /pool/main/o/openmpi/

../
libopenmpi-dev_5.0.9-1_amd64.deb                   06-Dec-2025 14:33             1089688
libopenmpi40_5.0.9-1_amd64.deb                     06-Dec-2025 14:29             2419588
openmpi-bin_5.0.9-1_amd64.deb                      06-Dec-2025 14:35              190088
openmpi-common_5.0.9-1_all.deb                     06-Dec-2025 14:11               97588
openmpi-doc_5.0.9-1_all.deb                        06-Dec-2025 13:25             8611676