[ci] fix?

rocq-archive · Jun 3, 2024 · 2ef54ad · 2ef54ad
1 parent 9433966
commit 2ef54ad
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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"                   }