From 3591786efeecb236bbb0878a68b249eda9618e2a Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 9 May 2025 18:28:33 +0200
Subject: [PATCH] coqPackages.mathcomp-tarjan: 1.0.2 -> 1.0.3

---
 pkgs/development/coq-modules/mathcomp-tarjan/default.nix | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/pkgs/development/coq-modules/mathcomp-tarjan/default.nix b/pkgs/development/coq-modules/mathcomp-tarjan/default.nix
index 1839f52099c3..4f8549c00f89 100644
--- a/pkgs/development/coq-modules/mathcomp-tarjan/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-tarjan/default.nix
@@ -22,6 +22,13 @@ mkCoqDerivation {
     lib.switch
       [ coq.version mathcomp-ssreflect.version ]
       [
+        {
+          cases = [
+            (range "8.16" "9.0")
+            (range "2.0.0" "2.4.0")
+          ];
+          out = "1.0.3";
+        }
         {
           cases = [
             (range "8.16" "9.0")
@@ -45,6 +52,7 @@ mkCoqDerivation {
         }
       ]
       null;
+  release."1.0.3".sha256 = "sha256-5lpOCDyH6NFzGLvnXHHAnR7Qv5oXsUyC8TLBFrIiBag=";
   release."1.0.2".sha256 = "sha256-U20xgA+e9KTRdvILD1cxN6ia+dlA8uBTIbc4QlKz9ss=";
   release."1.0.1".sha256 = "sha256-utNjFCAqC5xOuhdyKhfMZkRYJD0xv9Gt6U3ZdQ56mek=";
   release."1.0.0".sha256 = "sha256:0r459r0makshzwlygw6kd4lpvdjc43b3x5y9aa8x77f2z5gymjq1";