From 434eafb298aea5ad84fbe635e8fae30391d53426 Mon Sep 17 00:00:00 2001
From: Yifei Sun <ysun@hey.com>
Date: Wed, 17 Jun 2026 21:34:16 +0200
Subject: [PATCH] coqPackages.pocklington: modernize mkCoqDerivation release
 hash format

---
 pkgs/development/coq-modules/pocklington/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/coq-modules/pocklington/default.nix b/pkgs/development/coq-modules/pocklington/default.nix
index 2bc15df96ad1..d8487004ee56 100644
--- a/pkgs/development/coq-modules/pocklington/default.nix
+++ b/pkgs/development/coq-modules/pocklington/default.nix
@@ -10,7 +10,7 @@ mkCoqDerivation {
   owner = "coq-community";
 
   release."8.12.0".rev = "v8.12.0";
-  release."8.12.0".sha256 = "sha256-0xBrw9+4g14niYdNqp0nx00fPJoSSnaDSDEaIVpPfjs=";
+  release."8.12.0".hash = "sha256-0xBrw9+4g14niYdNqp0nx00fPJoSSnaDSDEaIVpPfjs=";
 
   inherit version;
   defaultVersion =