From 68f8de6113802135de59e20afd4c96526faa9824 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Sat, 19 Jul 2025 14:58:34 +0200
Subject: [PATCH] cargo-pgrx: prevent update of pinned versions

Hopefully it works this time.
---
 .../tools/rust/cargo-pgrx/default.nix         | 19 +-----------------
 .../tools/rust/cargo-pgrx/pinned.nix          | 20 +++++++++++++++++++
 2 files changed, 21 insertions(+), 18 deletions(-)
 create mode 100644 pkgs/development/tools/rust/cargo-pgrx/pinned.nix

diff --git a/pkgs/development/tools/rust/cargo-pgrx/default.nix b/pkgs/development/tools/rust/cargo-pgrx/default.nix
index 2dec7263f7a5..7992893bbdd3 100644
--- a/pkgs/development/tools/rust/cargo-pgrx/default.nix
+++ b/pkgs/development/tools/rust/cargo-pgrx/default.nix
@@ -56,24 +56,6 @@ let
     };
 in
 {
-  cargo-pgrx_0_12_0_alpha_1 = generic {
-    version = "0.12.0-alpha.1";
-    hash = "sha256-0m9oaqjU42RYyttkTihADDrRMjr2WoK/8sInZALeHws=";
-    cargoHash = "sha256-zYjqE7LZLnTaVxWAPWC1ncEjCMlrhy4THtgecB7wBYY=";
-  };
-
-  cargo-pgrx_0_12_6 = generic {
-    version = "0.12.6";
-    hash = "sha256-7aQkrApALZe6EoQGVShGBj0UIATnfOy2DytFj9IWdEA=";
-    cargoHash = "sha256-pnMxWWfvr1/AEp8DvG4awig8zjdHizJHoZ5RJA8CL08=";
-  };
-
-  cargo-pgrx_0_14_1 = generic {
-    version = "0.14.1";
-    hash = "sha256-oMToAhKkRiCyC8JYS0gmo/XX3QVcVtF5mUV0aQjd+p8=";
-    cargoHash = "sha256-RawGAQGtG2QVDCMbwjmUEaH6rDeRiBvvJsGCY8wySw0=";
-  };
-
   # Default version for direct usage.
   # Not to be used with buildPgrxExtension, where it should be pinned.
   # When you make an extension use the latest version, *copy* this to a separate pinned attribute.
@@ -83,3 +65,4 @@ in
     cargoHash = "sha256-c+n1bJMO9254kT4e6exVNhlIouzkkzrRIOVzR9lZeg4=";
   };
 }
+// lib.mapAttrs (_: generic) (import ./pinned.nix)
diff --git a/pkgs/development/tools/rust/cargo-pgrx/pinned.nix b/pkgs/development/tools/rust/cargo-pgrx/pinned.nix
new file mode 100644
index 000000000000..6a73795ad2f2
--- /dev/null
+++ b/pkgs/development/tools/rust/cargo-pgrx/pinned.nix
@@ -0,0 +1,20 @@
+# nixpkgs-update: no auto update
+{
+  cargo-pgrx_0_12_0_alpha_1 = {
+    version = "0.12.0-alpha.1";
+    hash = "sha256-0m9oaqjU42RYyttkTihADDrRMjr2WoK/8sInZALeHws=";
+    cargoHash = "sha256-zYjqE7LZLnTaVxWAPWC1ncEjCMlrhy4THtgecB7wBYY=";
+  };
+
+  cargo-pgrx_0_12_6 = {
+    version = "0.12.6";
+    hash = "sha256-7aQkrApALZe6EoQGVShGBj0UIATnfOy2DytFj9IWdEA=";
+    cargoHash = "sha256-pnMxWWfvr1/AEp8DvG4awig8zjdHizJHoZ5RJA8CL08=";
+  };
+
+  cargo-pgrx_0_14_1 = {
+    version = "0.14.1";
+    hash = "sha256-oMToAhKkRiCyC8JYS0gmo/XX3QVcVtF5mUV0aQjd+p8=";
+    cargoHash = "sha256-RawGAQGtG2QVDCMbwjmUEaH6rDeRiBvvJsGCY8wySw0=";
+  };
+}