From d87c87358f908d516ebf9d90f4d0be2c4ad76363 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 18 Apr 2025 09:18:26 +0200
Subject: [PATCH] coqPackages.deriving: 0.2.1 -> 0.2.2

---
 pkgs/development/coq-modules/deriving/default.nix    | 8 ++++++++
 pkgs/development/coq-modules/extructures/default.nix | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/pkgs/development/coq-modules/deriving/default.nix b/pkgs/development/coq-modules/deriving/default.nix
index 6f32bca2aad9..9f20bdc3b335 100644
--- a/pkgs/development/coq-modules/deriving/default.nix
+++ b/pkgs/development/coq-modules/deriving/default.nix
@@ -17,6 +17,13 @@ mkCoqDerivation {
     lib.switch
       [ coq.coq-version ssreflect.version ]
       [
+        {
+          cases = [
+            (range "8.17" "9.0")
+            (range "2.0.0" "2.4.0")
+          ];
+          out = "0.2.2";
+        }
         {
           cases = [
             (range "8.17" "9.0")
@@ -43,6 +50,7 @@ mkCoqDerivation {
 
   releaseRev = v: "v${v}";
 
+  release."0.2.2".sha256 = "sha256-qsbyQ4spg5vVLZkechb2LoBazGjMh7pR9sSS0s7tXxs=";
   release."0.2.1".sha256 = "sha256-053bNa3rcy0fCs9CQoKPxDLXnKRHzteyClLDURpaZJo=";
   release."0.2.0".sha256 = "sha256-xPsuEayHstjF0PGFJZJ+5cm0oMUrpoGLXN23op97vjM=";
   release."0.1.1".sha256 = "sha256-Gu8aInLxTXfAFE0/gWRYI046Dx3Gv1j1+gx92v/UnPI=";
diff --git a/pkgs/development/coq-modules/extructures/default.nix b/pkgs/development/coq-modules/extructures/default.nix
index 6cba886a4349..e57da9deb4f7 100644
--- a/pkgs/development/coq-modules/extructures/default.nix
+++ b/pkgs/development/coq-modules/extructures/default.nix
@@ -20,7 +20,7 @@
         {
           cases = [
             (range "8.17" "9.0")
-            (range "2.0.0" "2.3.0")
+            (range "2.0.0" "2.4.0")
           ];
           out = "0.5.0";
         }