Index of /debian-ports/pool/main/o/openmpi/
Name
Size
Date
📁 ../
-
-
📄 openmpi-common_5.0.9-1_all.deb
97588 bytes
2025-11-12 14:26:40
📄 openmpi-doc_5.0.9-1_all.deb
8611676 bytes
2025-11-12 14:26:40