David Guibert 84d5defb75 update openmpi to 1.6.4		2013-03-02 10:59:17 +01:00
..
default.nix	update openmpi to 1.6.4	2013-03-02 10:59:17 +01:00