From bc49669183cd94533ad347eb97309642ff714eda Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Wed, 16 Apr 2025 16:19:14 +0200
Subject: [PATCH] coqPackages.finmap: 2.1.0 -> 2.2.0

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

diff --git a/pkgs/development/coq-modules/mathcomp-finmap/default.nix b/pkgs/development/coq-modules/mathcomp-finmap/default.nix
index 791fcc40bcbb..0d761eac6bcf 100644
--- a/pkgs/development/coq-modules/mathcomp-finmap/default.nix
+++ b/pkgs/development/coq-modules/mathcomp-finmap/default.nix
@@ -20,6 +20,13 @@ mkCoqDerivation {
     lib.switch
       [ coq.version mathcomp-boot.version ]
       [
+        {
+          cases = [
+            (range "8.20" "9.0")
+            (range "2.3" "2.4")
+          ];
+          out = "2.2.0";
+        }
         {
           cases = [
             (range "8.16" "9.0")
@@ -93,6 +100,7 @@ mkCoqDerivation {
       ]
       null;
   release = {
+    "2.2.0".sha256 = "sha256-oDQEZOutrJxmN8FvzovUIhqw0mwc8Ej7thrieJrW8BY=";
     "2.1.0".sha256 = "sha256-gh0cnhdVDyo+D5zdtxLc10kGKQLQ3ITzHnMC45mCtpY=";
     "2.0.0".sha256 = "sha256-0Wr1ZUYVuZH74vawO4EZlZ+K3kq+s1xEz/BfzyKj+wk=";
     "1.5.2".sha256 = "sha256-0KmmSjc2AlUo6BKr9RZ4FjL9wlGISlTGU0X1Eu7l4sw=";