Markus Kowalewski 840716a8b6 openmpi: Use external hwloc and libevent ... Recommended in the upgrade guide: https://www.open-mpi.org/software/ompi/major-changes.php		2019-02-21 15:08:32 +01:00
..
default.nix	openmpi: Use external hwloc and libevent	2019-02-21 15:08:32 +01:00