Index of /repository/devuan5/mainrepo-amd64/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:41	947K
	libopenmpi3_4.1.4-3+..>	2023-03-23 14:41	2.3M
	openmpi-bin_4.1.4-3+..>	2023-03-23 14:41	221K
	openmpi-common_4.1.4..>	2022-10-12 16:40	163K
	openmpi-doc_4.1.4-3_..>	2022-10-12 16:40	1.0M