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

Name	Size	Date
📁 ../	-	-
📄 openmpi-common_6.0.0~rc2-2_all.deb	15756 bytes	2026-10-03 16:00:46
📄 openmpi-doc_6.0.0~rc2-2_all.deb	4133548 bytes	2026-10-03 16:00:46