Merge pull request #290945 from leahneukirchen/outils-0.13

outils: 0.10 -> 0.13
This commit is contained in:
Pol Dellaiera 2024-02-29 18:54:25 +01:00 committed by GitHub
commit d1c2714639
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 3 additions and 5 deletions

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "outils";
version = "0.10";
version = "0.13";
src = fetchFromGitHub {
owner = "leahneukirchen";
repo = pname;
repo = "outils";
rev = "v${version}";
sha256 = "sha256-xYjILa0Km57q/xNP+M34r29WLGC15tzUNoUgPzQTtIs=";
hash = "sha256-FokJytwQsbGsryBzyglpb1Hg3wti/CPQTOfIGIz9ThA=";
};
makeFlags = [ "PREFIX=$(out)" ];

View File

@ -12411,8 +12411,6 @@ with pkgs;
ouch = callPackage ../tools/compression/ouch { };
outils = callPackage ../tools/misc/outils { };
mpi = openmpi; # this attribute should used to build MPI applications
mpiCheckPhaseHook = callPackage ../build-support/setup-hooks/mpi-check-hook { };