Markus Kowalewski 2e363860c6 openmpi: make build reproducible ... fix: * build and configure time stamps * build and configure user		2019-09-15 18:35:22 +02:00
..
default.nix	openmpi: make build reproducible	2019-09-15 18:35:22 +02:00