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

---
 pkgs/development/coq-modules/heq/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/coq-modules/heq/default.nix b/pkgs/development/coq-modules/heq/default.nix
index 0d6ef1207e99..a40f2c718674 100644
--- a/pkgs/development/coq-modules/heq/default.nix
+++ b/pkgs/development/coq-modules/heq/default.nix
@@ -12,13 +12,13 @@ let
       rev,
       repo,
       owner,
-      sha256,
+      hash,
       domain,
       ...
     }:
     fetchzip {
       url = "https://${domain}/${owner}/${repo}/download/${repo}-${rev}.zip";
-      inherit sha256;
+      inherit hash;
     };
 in
 mkCoqDerivation {
@@ -28,7 +28,7 @@ mkCoqDerivation {
   domain = "sf.snu.ac.kr";
   inherit version fetcher;
   defaultVersion = if lib.versions.isLt "8.8" coq.coq-version then "0.92" else null;
-  release."0.92".sha256 = "0cf8y6728n81wwlbpq3vi7l2dbzi7759klypld4gpsjjp1y1fj74";
+  release."0.92".hash = "sha256:0cf8y6728n81wwlbpq3vi7l2dbzi7759klypld4gpsjjp1y1fj74";
 
   mlPlugin = true;
   preBuild = "cd src";