Index of /debian-ports/pool/main/o/openmpi/
Name
Size
Date
📁 ../
-
-
📄 openmpi-common_5.0.10-1_all.deb
30316 bytes
2026-03-03 07:41:33
📄 openmpi-doc_5.0.10-1_all.deb
2911616 bytes
2026-03-03 07:41:33