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

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

diff --git a/pkgs/development/coq-modules/waterproof/default.nix b/pkgs/development/coq-modules/waterproof/default.nix
index 313dd441e799..17ae9362bc5b 100644
--- a/pkgs/development/coq-modules/waterproof/default.nix
+++ b/pkgs/development/coq-modules/waterproof/default.nix
@@ -22,7 +22,7 @@ mkCoqDerivation {
       }
     ] null;
   release = {
-    "2.1.1+8.18".sha256 = "sha256-jYuQ9SPFRefNCUfn6+jEaJ4399EnU0gXPPkEDCpJYOI=";
+    "2.1.1+8.18".hash = "sha256-jYuQ9SPFRefNCUfn6+jEaJ4399EnU0gXPPkEDCpJYOI=";
   };
 
   propagatedBuildInputs = [ stdlib ];