Adrien Devresse 2a79d296d3 openmpi: fix libtool issue #18147 by stripping libtool *.la files		2016-08-31 12:03:07 +02:00
..
default.nix	openmpi: fix libtool issue #18147 by stripping libtool *.la files	2016-08-31 12:03:07 +02:00
nbc_copy.patch	openmpi: patch for legitimate zero size messages	2016-04-04 11:09:00 -04:00