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