From 8b7d5e1d6df034339b657eb688708c803e80afa7 Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Tue, 16 Jul 2024 22:27:05 +0200
Subject: [PATCH] coqPackages.vscoq-language-server: 2.1.2 -> 2.1.4

---
 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 565f83da06d6..fd3a81f08c58 100644
--- a/pkgs/development/coq-modules/vscoq-language-server/default.nix
+++ b/pkgs/development/coq-modules/vscoq-language-server/default.nix
@@ -3,6 +3,7 @@
 
 let ocamlPackages = coq.ocamlPackages;
     defaultVersion = with lib.versions; lib.switch coq.coq-version [
+      { case = range "8.18" "8.20"; out = "2.1.4"; }
       { case = range "8.18" "8.19"; out = "2.1.2"; }
       { case = isEq "8.18"; out = "2.0.3+coq8.18"; }
     ] null;
@@ -12,6 +13,8 @@ let ocamlPackages = coq.ocamlPackages;
       release."2.0.3+coq8.18".rev = "v2.0.3+coq8.18";
       release."2.1.2".rev = "v2.1.2";
       release."2.1.2".sha256 = "sha256-GloY68fLmIv3oiEGNWwmgKv1CMAReBuXzMTUsKOs328=";
+      release."2.1.4".rev = "v2.1.4";
+      release."2.1.4".sha256 = "sha256-Vwve1sCg5OsGmhDLlOyGCwP6A8g618IzD79vLPw/JtQ=";
       inherit location; });
     fetched = fetch (if version != null then version else defaultVersion);
 in