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

…