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