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

../
openmpi-common_5.0.10-6_all.deb                    10-Sep-2026 13:46     31K
openmpi-common_5.0.11-1_all.deb                    17-Sep-2026 15:13     31K
openmpi-doc_5.0.10-6_all.deb                       10-Sep-2026 13:46      7M
openmpi-doc_5.0.11-1_all.deb                       17-Sep-2026 15:13      7M