Markus Kowalewski 5e12d76361 openmpi: fix broken modules, disable dsos		2018-02-11 00:49:12 -08:00
..
default.nix	…