From cb817bb9db32a89dbc6b9546f5ee643d4ad6f7d9 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Wed, 16 Apr 2025 09:02:57 +0200
Subject: [PATCH] coqPackages.mathcomp-real-closed: 2.0.2 -> 2.0.3

---
 .../coq-modules/mathcomp-real-closed/default.nix     | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/coq-modules/mathcomp-real-closed/default.nix b/pkgs/development/coq-modules/mathcomp-real-closed/default.nix
index 7654c47abf08..522000b7c379 100644
--- a/pkgs/development/coq-modules/mathcomp-real-closed/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-real-closed/default.nix
@@ -17,6 +17,7 @@ mkCoqDerivation {
   owner = "math-comp";
   inherit version;
   release = {
+    "2.0.3".sha256 = "sha256-heZ7aZ7TO9YNAESIvbAc1qqzO91xMyLAox8VKueIk/s=";
     "2.0.2".sha256 = "sha256-hBo9JMtmXDYBmf5ihKGksQLHv3c0+zDBnd8/aI2V/ao=";
     "2.0.1".sha256 = "sha256-tQTI3PCl0q1vWpps28oATlzOI8TpVQh1jhTwVmhaZic=";
     "2.0.0".sha256 = "sha256-sZvfiC5+5Lg4nRhfKKqyFzovCj2foAhqaq/w9F2bdU8=";
@@ -35,17 +36,24 @@ mkCoqDerivation {
     lib.switch
       [ coq.version mathcomp.version ]
       [
+        {
+          cases = [
+            (range "8.18" "9.0")
+            (isGe "2.2.0")
+          ];
+          out = "2.0.3";
+        }
         {
           cases = [
             (range "8.17" "9.0")
-            (isGe "2.1.0")
+            (range "2.1.0" "2.3.0")
           ];
           out = "2.0.2";
         }
         {
           cases = [
             (range "8.17" "8.20")
-            (isGe "2.0.0")
+            (range "2.0.0" "2.2.0")
           ];
           out = "2.0.1";
         }