From d03b7559109c72a9342bddfe4c70b1c1b77087f4 Mon Sep 17 00:00:00 2001
From: jstrattonsmith <49959196+jstrattonsmith@users.noreply.github.com>
Date: Sun, 9 Nov 2025 18:02:34 -0500
Subject: [PATCH] coqPackages.vscoq-language-server: 2.2.6 -> 2.3.3

To be compatible with VSRocq release.
---
 pkgs/development/coq-modules/vscoq-language-server/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/development/coq-modules/vscoq-language-server/default.nix b/pkgs/development/coq-modules/vscoq-language-server/default.nix
index 0812d1d950ae..ceec12c89859 100644
--- a/pkgs/development/coq-modules/vscoq-language-server/default.nix
+++ b/pkgs/development/coq-modules/vscoq-language-server/default.nix
@@ -16,6 +16,7 @@ let
     in
     with lib.versions;
     lib.switch coq.coq-version [
+      (case (range "8.18" "9.1") "2.3.3")
       (case (range "8.18" "9.1") "2.2.6")
       (case (range "8.18" "8.20") "2.2.1")
       (case (range "8.18" "8.19") "2.1.2")
@@ -41,6 +42,8 @@ let
     release."2.2.5".sha256 = "sha256-XyIjwem/yS7UIpQATNixgKkrMOHHs74nkAOvpU5WG1k=";
     release."2.2.6".rev = "v2.2.6";
     release."2.2.6".sha256 = "sha256-J8nRTAwN6GBEYgqlXa2kkkrHPatXsSObQg9QUQoZhgE=";
+    release."2.3.3".rev = "v2.3.3";
+    release."2.3.3".sha256 = "sha256-wgn28wqWhZS4UOLUblkgXQISgLV+XdSIIEMx9uMT/ig=";
     inherit location;
   };
   fetched = fetch (if version != null then version else defaultVersion);