jamtrott c8c0cd4d6c petsc: init at 3.7.6 (#28368) ... * petsc: init at 3.7.6 * petsc: use configureFlagsArray * petsc: Remove unneeded binaries		2017-09-03 17:11:16 +01:00
..
default.nix	…