From daf9b16b13eb175e98f44afedaf441895c1bf1f8 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.ceres: modernize mkCoqDerivation release hash
 format

---
 pkgs/development/coq-modules/ceres/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/coq-modules/ceres/default.nix b/pkgs/development/coq-modules/ceres/default.nix
index e65559695786..9932f9559cff 100644
--- a/pkgs/development/coq-modules/ceres/default.nix
+++ b/pkgs/development/coq-modules/ceres/default.nix
@@ -22,8 +22,8 @@ mkCoqDerivation {
       (case (range "8.14" "9.2") "0.4.1")
       (case (range "8.8" "8.16") "0.4.0")
     ] null;
-  release."0.4.1".sha256 = "sha256-9vyk8/8IVsqNyhw3WPzl8w3L9Wu7gfaMVa3n2nWjFiA=";
-  release."0.4.0".sha256 = "sha256:0zwp3pn6fdj0qdig734zdczrls886al06mxqhhabms0jvvqijmbi";
+  release."0.4.1".hash = "sha256-9vyk8/8IVsqNyhw3WPzl8w3L9Wu7gfaMVa3n2nWjFiA=";
+  release."0.4.0".hash = "sha256:0zwp3pn6fdj0qdig734zdczrls886al06mxqhhabms0jvvqijmbi";
 
   useDuneifVersion = lib.versions.isGe "0.4.1";