From 2ef54ad61b1d6e4529586f1e2a81bef64429b497 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Mon, 3 Jun 2024 19:58:23 +0200
Subject: [PATCH] [ci] fix?

---
 coq-serapi.opam | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/coq-serapi.opam b/coq-serapi.opam
index d13c57df..48df42cf 100644
--- a/coq-serapi.opam
+++ b/coq-serapi.opam
@@ -26,7 +26,8 @@ depends: [
   "dune"                {           >= "2.0.1"                     }
   "ocaml"               {           >= "4.12.0"                    }
   "coq"                 {           >= "8.20" & < "8.21" | = "dev" }
-  "coq-lsp"             {           >= "0.2.0"                     }
+  # We vendor this for now
+  # "coq-lsp"             {           >= "0.2.0"                     }
   "cmdliner"            {           >= "1.1.0"                     }
   "ocamlfind"           {           >= "1.8.0"                     }
   "sexplib"             {           >= "v0.13.0"                   }