From 403eece08a11d619a669da77100161300c1b6685 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Wed, 10 Jun 2026 07:55:22 +0200
Subject: [PATCH] rocqPackages.micromega-plugin: fix hash

(cherry picked from commit e45516ba3bf2cccc2bb34fec7e4e4477a71a365b)
---
 pkgs/development/rocq-modules/micromega-plugin/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/rocq-modules/micromega-plugin/default.nix b/pkgs/development/rocq-modules/micromega-plugin/default.nix
index 5be07cf07077..cc0be5454447 100644
--- a/pkgs/development/rocq-modules/micromega-plugin/default.nix
+++ b/pkgs/development/rocq-modules/micromega-plugin/default.nix
@@ -19,7 +19,7 @@ mkRocqDerivation {
     ] null;
 
   release = {
-    "1.1.0".sha256 = "sha256-OszFXGLnm0rGAZVRCq/riQUK1DuhPyfv49GBePkQWAI=";
+    "1.1.0".hash = "sha256-CWMbGErC5bu20Yu9eskgslLkzmSof6klNlOYEkQjUjc=";
   };
   releaseRev = v: "v${v}";