Merge pull request #3171 from Lysxia/patch-1

Update dependencies of vscoq-language-server.dev
coq · Oct 7, 2024 · f2239c8 · f2239c8
2 parents 2bce8f9 + 951a30a
commit f2239c8
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/extra-dev/packages/vscoq-language-server/vscoq-language-server.dev/opam b/extra-dev/packages/vscoq-language-server/vscoq-language-server.dev/opam
@@ -20,8 +20,12 @@ depends: [
   "ppx_sexp_conv"
   "ppx_yojson_conv" {< "v0.16.0"}
   "ppx_deriving"
+  "ppx_import"
   "sexplib"
   "uri"
+  "jsonrpc" {>= "1.15"}
+  "lsp" {>= "1.15" & < "1.19"}
+  "sel" {>= "0.4.0"}
 ]
 url {
   src: "git+https://github.com/coq-community/vscoq.git/#main"