From 9cac65b6dbae178e1bd87b0ca7545db76d85a45a Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 9 May 2025 21:27:06 +0200
Subject: [PATCH] coqPackages.mathcomp-algebra-tactics: 1.2.4 -> 1.2.5

---
 .../coq-modules/mathcomp-algebra-tactics/default.nix      | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix b/pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix
index 3ea3a67f390b..89e53c0e0f64 100644
--- a/pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix
@@ -23,6 +23,13 @@ mkCoqDerivation {
     lib.switch
       [ coq.coq-version mathcomp-algebra.version ]
       [
+        {
+          cases = [
+            (range "8.20" "9.0")
+            (isGe "2.4")
+          ];
+          out = "1.2.5";
+        }
         {
           cases = [
             (range "8.16" "9.0")
@@ -59,6 +66,7 @@ mkCoqDerivation {
   release."1.2.2".sha256 = "sha256-EU9RJGV3BvnmsX+mGH+6+MDXiGHgDI7aP5sIYiMUXTs=";
   release."1.2.3".sha256 = "sha256-6uc1VEfDv+fExEfBR2c0/Q/KjrkX0TbEMCLgeYcpkls=";
   release."1.2.4".sha256 = "sha256-BRxt0LGPz2u3kJRjcderaZqCfs8M8qKAAwNSWmIck7Q=";
+  release."1.2.5".sha256 = "sha256-wTfe+g7ljWs1S+g02VQutnJGLVIOzNX1lm1HTMXeUUA=";
 
   propagatedBuildInputs = [
     mathcomp-ssreflect