Index of /debian-ports/pool/main/o/openmpi/
Name
Size
Date
📁 ../
-
-
📄 openmpi-common_5.0.9-3_all.deb
98036 bytes
2026-02-07 12:50:35
📄 openmpi-doc_5.0.9-3_all.deb
5762632 bytes
2026-02-07 12:50:35