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

---
 pkgs/development/coq-modules/Verdi/default.nix | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/pkgs/development/coq-modules/Verdi/default.nix b/pkgs/development/coq-modules/Verdi/default.nix
index a6152a97b0ea..c84de7c22e33 100644
--- a/pkgs/development/coq-modules/Verdi/default.nix
+++ b/pkgs/development/coq-modules/Verdi/default.nix
@@ -37,15 +37,15 @@ mkCoqDerivation {
       }
     ] null;
   release."20230503".rev = "76833a7b2188e99e358b8439ea6b4f38401c962a";
-  release."20230503".sha256 = "sha256-g59adl/FLMlk9vZciz2I1ZX4PDCElNOgVPCwML8E4DU=";
+  release."20230503".hash = "sha256-g59adl/FLMlk9vZciz2I1ZX4PDCElNOgVPCwML8E4DU=";
   release."20211026".rev = "064cc4fb2347453bf695776ed820ffb5fbc1d804";
-  release."20211026".sha256 = "sha256:13xrcyzay5sjszf5lg4s44wl9nrcz22n6gi4h95pkpj0ni5clinx";
+  release."20211026".hash = "sha256:13xrcyzay5sjszf5lg4s44wl9nrcz22n6gi4h95pkpj0ni5clinx";
   release."20210524".rev = "54597d8ac7ab7dd4dae683f651237644bf77701e";
-  release."20210524".sha256 = "sha256:05wb0km2jkhvi8807glxk9fi1kll4lwisiyzkxhqvymz4x6v8xqv";
+  release."20210524".hash = "sha256:05wb0km2jkhvi8807glxk9fi1kll4lwisiyzkxhqvymz4x6v8xqv";
   release."20200131".rev = "fdb4ede19d2150c254f0ebcfbed4fb9547a734b0";
-  release."20200131".sha256 = "1a2k19f9q5k5djbxplqmmpwck49kw3lrm3aax920h4yb40czkd8m";
+  release."20200131".hash = "sha256:1a2k19f9q5k5djbxplqmmpwck49kw3lrm3aax920h4yb40czkd8m";
   release."20181102".rev = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564";
-  release."20181102".sha256 = "1vw47c37k5vaa8vbr6ryqy8riagngwcrfmb3rai37yi9xhdqg55z";
+  release."20181102".hash = "sha256:1vw47c37k5vaa8vbr6ryqy8riagngwcrfmb3rai37yi9xhdqg55z";
 
   propagatedBuildInputs = [
     Cheerios