Index of /doc/openmpi-bin

	Name	Last modified	Size	Description
	Parent Directory		-
	NEWS.gz	2018-10-30 03:39	61K
	README.Debian	2019-04-30 15:40	2.1K
	README.gz	2018-10-30 03:39	29K
	changelog.Debian.gz	2019-04-30 15:40	19K
	copyright	2019-04-30 15:40	8.2K