Nikolay Amiantov fea89d6bc3 openmpi: 1.6.5 -> 1.10.1		2016-01-10 07:32:36 +03:00
..
default.nix	openmpi: 1.6.5 -> 1.10.1	2016-01-10 07:32:36 +03:00