Index of /doc/libopenmpi3

	Name	Last modified	Size	Description
	Parent Directory		-
	NEWS.gz	2022-05-29 11:51	73K
	README.gz	2022-05-29 11:51	32K
	changelog.Debian.amd64.gz	2023-03-23 12:16	226
	changelog.Debian.gz	2023-03-23 12:16	4.7K
	copyright	2022-10-12 13:52	8.2K