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

	Name	Last modified	Size

	Parent Directory		-
	openmpi-common_6.0.0~rc2-2_all.deb	2026-10-03 16:00	15K
	openmpi-doc_6.0.0~rc2-2_all.deb	2026-10-03 16:00	3.9M

Apache Server at ftp.ports.debian.org Port 80