Markus Kowalewski a52f790a4c openmpi: use extra output for dev		2024-02-02 16:23:10 +01:00
..
default.nix	openmpi: use extra output for dev	2024-02-02 16:23:10 +01:00