Denis Davydov 82455a30d0 openmpi: add 4.0.1 (#11126) ... * openmpi: add 4.0.1 * openmpi: enable-mpi1-compatibility for 4.0.1 and above * remove preferred * make 3.1.3 preferred		2019-04-09 21:41:14 +02:00
..
packages	openmpi: add 4.0.1 (#11126)	2019-04-09 21:41:14 +02:00
repo.yaml