From 373763f960303dfc44e5f9f2d017c51797c0976b Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Tue, 11 Feb 2025 14:22:34 +0100
Subject: [PATCH] coqPackages.vcfloat: 2.2 -> 2.3

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

diff --git a/pkgs/development/coq-modules/vcfloat/default.nix b/pkgs/development/coq-modules/vcfloat/default.nix
index 7e9aca3ea7d9..099efcfc6bb9 100644
--- a/pkgs/development/coq-modules/vcfloat/default.nix
+++ b/pkgs/development/coq-modules/vcfloat/default.nix
@@ -21,6 +21,10 @@ let
     defaultVersion =
       with lib.versions;
       lib.switch coq.coq-version [
+        {
+          case = isEq "8.20";
+          out = "2.3";
+        }
         {
           case = isEq "8.19";
           out = "2.2";
@@ -30,6 +34,7 @@ let
           out = "2.1.1";
         }
       ] null;
+    release."2.3".sha256 = "sha256-fV7w/kYTpcBxrHFzEvx+eydDHbGH05/seucrgSjKK3w=";
     release."2.2".sha256 = "sha256-PyMm84ZYh+dOnl8Kk2wlYsQ+S/d1Hsp6uv2twTedEPg=";
     release."2.1.1".sha256 = "sha256-bd/XSQhyFUAnSm2bhZEZBWB6l4/Ptlm9JrWu6w9BOpw=";
     releaseRev = v: "v${v}";