Index of /repository/devuan5/mainrepo-i386/mirror/deb.devuan.org/merged/pool/DEBIAN/main/o/openmpi

	Name	Last modified	Size	Description
	Parent Directory		-
	libopenmpi-dev_4.1.4..>	2023-03-23 14:10	898K
	libopenmpi3_4.1.4-3+..>	2023-03-23 14:10	2.1M
	openmpi-bin_4.1.4-3+..>	2023-03-23 14:10	191K
	openmpi-common_4.1.4..>	2022-10-12 16:40	163K
	openmpi-doc_4.1.4-3_..>	2022-10-12 16:40	1.0M