From 143dfa1ac9d6d641a8283848c8ffc36280ff6e80 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Mon, 7 Jul 2025 09:26:28 +0200
Subject: [PATCH] coqPackages.mathcomp-analysis: 1.11.0 -> 1.12.0

---
 pkgs/development/coq-modules/mathcomp-analysis/default.nix | 3 ++-
 pkgs/development/coq-modules/mathcomp-infotheo/default.nix | 4 +++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/coq-modules/mathcomp-analysis/default.nix b/pkgs/development/coq-modules/mathcomp-analysis/default.nix
index 5a6ec833428f..11d0a480696f 100644
--- a/pkgs/development/coq-modules/mathcomp-analysis/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-analysis/default.nix
@@ -16,6 +16,7 @@ let
   repo = "analysis";
   owner = "math-comp";
 
+  release."1.12.0".sha256 = "sha256-PF10NlZ+aqP3PX7+UsZwgJT9PEaDwzvrS/ZGzjP64Wo=";
   release."1.11.0".sha256 = "sha256-1apbzBvaLNw/8ARLUhGGy89CyXW+/6O4ckdxKPraiVc=";
   release."1.9.0".sha256 = "sha256-zj7WSDUg8ISWxcipGpjEwvvnLp1g8nm23BZiib/15+g=";
   release."1.8.0".sha256 = "sha256-2ZafDmZAwGB7sxdUwNIE3xvwBRw1kFDk0m5Vz+onWZc=";
@@ -57,7 +58,7 @@ let
     lib.switch
       [ coq.coq-version mathcomp.version ]
       [
-        (case (range "8.20" "9.0") (range "2.1.0" "2.4.0") "1.11.0")
+        (case (range "8.20" "9.0") (range "2.1.0" "2.4.0") "1.12.0")
         (case (range "8.19" "8.20") (range "2.1.0" "2.3.0") "1.9.0")
         (case (range "8.17" "8.20") (range "2.0.0" "2.2.0") "1.1.0")
         (case (range "8.17" "8.19") (range "1.17.0" "1.19.0") "0.7.0")
diff --git a/pkgs/development/coq-modules/mathcomp-infotheo/default.nix b/pkgs/development/coq-modules/mathcomp-infotheo/default.nix
index c3bb32a15cc5..4ed3e501f30a 100644
--- a/pkgs/development/coq-modules/mathcomp-infotheo/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-infotheo/default.nix
@@ -32,7 +32,8 @@
     lib.switch
       [ coq.coq-version mathcomp-analysis.version ]
       [
-        (case (range "8.20" "8.20") (isGe "1.10") "0.9.3")
+        (case (range "8.20" "8.20") (isGe "1.12") "0.9.4")
+        (case (range "8.19" "8.20") (range "1.10" "1.11") "0.9.3")
         (case (range "8.19" "8.20") (isGe "1.9") "0.9.1")
         (case (range "8.19" "8.20") (isGe "1.7") "0.7.7")
         (case (range "8.19" "8.20") (isGe "1.7") "0.7.5")
@@ -44,6 +45,7 @@
         (case (range "8.15" "8.16") (range "0.5.4" "0.6.5") "0.5.1")
       ]
       null;
+  release."0.9.4".sha256 = "sha256-btHOBNMdXvlG2jxC04+4qmIjeyuaqtyugm2Ruj3lQr8=";
   release."0.9.3".sha256 = "sha256-8+cnVKNAvZ3MVV3BpS8UmCIxJphsQRBv3swek1eEBjE=";
   release."0.9.1".sha256 = "sha256-WI20HxMHr1ZUwOGPIUl+nRI8TxVUa2+F1xcGjRDHO9g=";
   release."0.7.7".sha256 = "sha256-kEbpMl7U+I2kvqi1VrjhIVFkZFO6h0tTHEUZRbHYG7E=";