From 2896c5c13b7679d8cc2aab2bf565c26dc1e0a2a3 Mon Sep 17 00:00:00 2001
From: Yifei Sun <ysun@hey.com>
Date: Wed, 17 Jun 2026 21:33:53 +0200
Subject: [PATCH] coqPackages.category-theory: modernize mkCoqDerivation
 release hash format

---
 .../coq-modules/category-theory/default.nix            | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/pkgs/development/coq-modules/category-theory/default.nix b/pkgs/development/coq-modules/category-theory/default.nix
index 8b51d20f4614..c9dc71097974 100644
--- a/pkgs/development/coq-modules/category-theory/default.nix
+++ b/pkgs/development/coq-modules/category-theory/default.nix
@@ -12,15 +12,15 @@ mkCoqDerivation {
   pname = "category-theory";
   owner = "jwiegley";
 
-  release."1.0.0".sha256 = "sha256-qPgho4/VcL3vyMPJAMXXdqhYPEbNeXSZsoWbA/lGek4=";
+  release."1.0.0".hash = "sha256-qPgho4/VcL3vyMPJAMXXdqhYPEbNeXSZsoWbA/lGek4=";
   release."20211213".rev = "449e30e929d56f6f90c22af2c91ffcc4d79837be";
-  release."20211213".sha256 = "sha256:0vgfmph5l1zn6j4b851rcm43s8y9r83swsz07rpzhmfg34pk0nl0";
+  release."20211213".hash = "sha256:0vgfmph5l1zn6j4b851rcm43s8y9r83swsz07rpzhmfg34pk0nl0";
   release."20210730".rev = "d87937faaf7460bcd6985931ac36f551d67e11af";
-  release."20210730".sha256 = "04x7433yvibxknk6gy4971yzb4saa3z4dnfy9n6irhyafzlxyf0f";
+  release."20210730".hash = "sha256:04x7433yvibxknk6gy4971yzb4saa3z4dnfy9n6irhyafzlxyf0f";
   release."20190414".rev = "706fdb4065cc2302d92ac2bce62cb59713253119";
-  release."20190414".sha256 = "16lg4xs2wzbdbsn148xiacgl4wq4xwfqjnjkdhfr3w0qh1s81hay";
+  release."20190414".hash = "sha256:16lg4xs2wzbdbsn148xiacgl4wq4xwfqjnjkdhfr3w0qh1s81hay";
   release."20180709".rev = "3b9ba7b26a64d49a55e8b6ccea570a7f32c11ead";
-  release."20180709".sha256 = "0f2nr8dgn1ab7hr7jrdmr1zla9g9h8216q4yf4wnff9qkln8sbbs";
+  release."20180709".hash = "sha256:0f2nr8dgn1ab7hr7jrdmr1zla9g9h8216q4yf4wnff9qkln8sbbs";
 
   inherit version;
   defaultVersion =