From e9422823b88e174b694c8bdbd5b4dddac60a7ee6 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Tue, 18 Feb 2025 17:05:41 +0100
Subject: [PATCH] coqPackages.coqeal: 2.0.3 -> 2.1.0

---
 .../coq-modules/coqeal/default.nix            | 81 +++----------------
 1 file changed, 13 insertions(+), 68 deletions(-)

diff --git a/pkgs/development/coq-modules/coqeal/default.nix b/pkgs/development/coq-modules/coqeal/default.nix
index d748b956c42b..bc658fcfa7ed 100644
--- a/pkgs/development/coq-modules/coqeal/default.nix
+++ b/pkgs/development/coq-modules/coqeal/default.nix
@@ -18,75 +18,20 @@ derivation = mkCoqDerivation {
   inherit version;
   defaultVersion =
     with lib.versions;
-    lib.switch
-      [ coq.version mathcomp.version ]
-      [
-        {
-          cases = [
-            (range "8.16" "8.20")
-            (isGe "2.1.0")
-          ];
-          out = "2.0.3";
-        }
-        {
-          cases = [
-            (range "8.16" "8.20")
-            (isGe "2.0.0")
-          ];
-          out = "2.0.1";
-        }
-        {
-          cases = [
-            (range "8.16" "8.17")
-            (isGe "2.0.0")
-          ];
-          out = "2.0.0";
-        }
-        {
-          cases = [
-            (range "8.15" "8.18")
-            (range "1.15.0" "1.18.0")
-          ];
-          out = "1.1.3";
-        }
-        {
-          cases = [
-            (range "8.13" "8.17")
-            (range "1.13.0" "1.18.0")
-          ];
-          out = "1.1.1";
-        }
-        {
-          cases = [
-            (range "8.10" "8.15")
-            (range "1.12.0" "1.18.0")
-          ];
-          out = "1.1.0";
-        }
-        {
-          cases = [
-            (isGe "8.10")
-            (range "1.11.0" "1.12.0")
-          ];
-          out = "1.0.5";
-        }
-        {
-          cases = [
-            (isGe "8.7")
-            "1.11.0"
-          ];
-          out = "1.0.4";
-        }
-        {
-          cases = [
-            (isGe "8.7")
-            "1.10.0"
-          ];
-          out = "1.0.3";
-        }
-      ]
-      null;
+    lib.switch [ coq.version mathcomp.version ] [
+      { cases = [ (range "9.0" "9.0") (isGe "2.3.0") ]; out = "2.1.0"; }
+      { cases = [ (range "8.16" "8.20") (isGe "2.1.0") ]; out = "2.0.3"; }
+      { cases = [ (range "8.16" "8.20") (isGe "2.0.0") ]; out = "2.0.1"; }
+      { cases = [ (range "8.16" "8.17") (isGe "2.0.0") ]; out = "2.0.0"; }
+      { cases = [ (range "8.15" "8.18") (range "1.15.0" "1.18.0") ]; out = "1.1.3"; }
+      { cases = [ (range "8.13" "8.17") (range "1.13.0" "1.18.0") ]; out = "1.1.1"; }
+      { cases = [ (range "8.10" "8.15") (range "1.12.0" "1.18.0") ]; out = "1.1.0"; }
+      { cases = [ (isGe "8.10") (range "1.11.0" "1.12.0") ]; out = "1.0.5"; }
+      { cases = [ (isGe "8.7") "1.11.0" ]; out = "1.0.4"; }
+      { cases = [ (isGe "8.7") "1.10.0" ]; out = "1.0.3"; }
+    ] null;
 
+  release."2.1.0".sha256 = "sha256-UoDxy2BKraDyRsO42GXRo26O74OF51biZQGkIMWLf8Y=";
   release."2.0.3".sha256 = "sha256-5lDq7IWlEW0EkNzYPu+dA6KOvRgy53W/alikpDr/Kd0=";
   release."2.0.1".sha256 = "sha256-d/IQ4IdS2tpyPewcGobj2S6m2HU+iXQmlvR+ITNIcjI=";
   release."2.0.0".sha256 = "sha256-SG/KVnRJz2P+ZxkWVp1dDOnc/JVgigoexKfRUh1Y0GM";