From 34725c072b5036ef894522153141e98dcf8933c8 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 29 May 2026 09:48:18 +0200
Subject: [PATCH] rocqPackages.micromega-plugin: 1.0.0 -> 1.1.0

---
 .../development/rocq-modules/micromega-plugin/default.nix | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/pkgs/development/rocq-modules/micromega-plugin/default.nix b/pkgs/development/rocq-modules/micromega-plugin/default.nix
index dd773caebc55..5be07cf07077 100644
--- a/pkgs/development/rocq-modules/micromega-plugin/default.nix
+++ b/pkgs/development/rocq-modules/micromega-plugin/default.nix
@@ -15,11 +15,11 @@ mkRocqDerivation {
     in
     with lib.versions;
     lib.switch rocq-core.rocq-version [
-      (case (range "9.0" "9.2") "1.0.0")
+      (case (range "9.0" "9.2") "1.1.0")
     ] null;
 
   release = {
-    "1.0.0".sha256 = "sha256-srDOrGC4h21O9MIHfmOMJ0BKQhamaWyzQT72TwgfDYc=";
+    "1.1.0".sha256 = "sha256-OszFXGLnm0rGAZVRCq/riQUK1DuhPyfv49GBePkQWAI=";
   };
   releaseRev = v: "v${v}";
 
@@ -39,11 +39,11 @@ mkRocqDerivation {
   '';
 
   buildPhase = ''
-    etc/with-rocq-wrap.sh dune build -p micromega-plugin @install ''${enableParallelBuilding:+-j $NIX_BUILD_CORES}
+    etc/with-rocq-wrap.sh dune build -p rocq-micromega-plugin @install ''${enableParallelBuilding:+-j $NIX_BUILD_CORES}
   '';
 
   installPhase = ''
-    etc/with-rocq-wrap.sh dune install --root . micromega-plugin --prefix=$out --libdir $OCAMLFIND_DESTDIR
+    etc/with-rocq-wrap.sh dune install --root . rocq-micromega-plugin --prefix=$out --libdir $OCAMLFIND_DESTDIR
     mkdir $out/lib/coq/
     mv $OCAMLFIND_DESTDIR/coq $out/lib/coq/${rocq-core.rocq-version}
   '';