From d7fd05259c8c517f9fa2cd60056a3cd7e34bdb06 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Wed, 16 Apr 2025 09:13:29 +0200
Subject: [PATCH] coqPackages.gaia: 2.2 -> 2.3

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

diff --git a/pkgs/development/coq-modules/gaia/default.nix b/pkgs/development/coq-modules/gaia/default.nix
index c10aab6198d8..9dc1865dcea3 100644
--- a/pkgs/development/coq-modules/gaia/default.nix
+++ b/pkgs/development/coq-modules/gaia/default.nix
@@ -17,6 +17,7 @@ mkCoqDerivation {
   release."1.15".sha256 = "sha256:04zchnkvaq2mzpcilpspn5l947689gj3m0w20m0nd7w4drvlahnw";
   release."1.17".sha256 = "sha256-2VzdopXgKS/wC5Rd1/Zlr12J5bSIGINFjG1nrMjDrGE=";
   release."2.2".sha256 = "sha256-y8LlQg9d9rfPFjzS9Xu3BW/H3tPiOC+Eb/zwXJGW9d4=";
+  release."2.3".sha256 = "sha256-inWJok0F3SZpVfoyMfpRXHVHn4z2aY8JjCKKhdVTnoc=";
   releaseRev = (v: "v${v}");
 
   inherit version;
@@ -25,6 +26,13 @@ mkCoqDerivation {
     lib.switch
       [ coq.version mathcomp.version ]
       [
+        {
+          cases = [
+            (range "8.16" "9.0")
+            (range "2.0" "2.4")
+          ];
+          out = "2.3";
+        }
         {
           cases = [
             (range "8.16" "9.0")