Merge #203315: patchelf_0_14: rename to patchelfStable

...into release-22.11
This commit is contained in:
Vladimír Čunát 2022-11-30 10:31:41 +01:00
commit 2620d645de
No known key found for this signature in database
GPG key ID: E747DF1F9575A3AA

View file

@ -17497,11 +17497,11 @@ with pkgs;
patchelf = if with stdenv.buildPlatform; isAarch64 && isMusl then
patchelf_0_13
else
patchelf_0_14;
patchelfStable;
patchelf_0_13 = callPackage ../development/tools/misc/patchelf/0.13.nix {
patchelf = patchelf_0_14;
patchelf = patchelfStable;
};
patchelf_0_14 = callPackage ../development/tools/misc/patchelf { };
patchelfStable = callPackage ../development/tools/misc/patchelf { };
patchelfUnstable = lowPrio (callPackage ../development/tools/misc/patchelf/unstable.nix { });