package vsrocq-language-server
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
VSRocq language server
Install
dune-project
Dependency
Authors
Maintainers
Sources
vsrocq-language-server-2.4.1.tar.gz
md5=86c43adac61349acb97dc2fe75a69b25
sha512=91dcbc400d6f27faa28091fbc2ff02e04990814ab6a4f1133ee14c38b57008ee31775d98085faffed2e6dc29f9b38369f533186a13b7e351a3748a738df601cc
Description
LSP based language server for Rocq and its VSRocq user interface
Published: 15 Apr 2026
Dependencies (16)
-
sel
>= "0.6.0" -
lsp
>= "1.15" -
result
>= "1.5" - ppx_optcomp
- ppx_import
- ppx_yojson_conv
- sexplib
- ppx_deriving
- ppx_sexp_conv
- ppx_assert
- ppx_inline_test
- ocamlfind
-
jsonrpc
>= "1.15" - yojson
-
dune
>= "3.5" -
ocaml
>= "4.14"
Dev Dependencies (3)
-
rocq-core
((>= "9.0+rc1" & < "9.3~") | (= "dev")) -
coq-stdlib
((>= "8.18" & < "8.21") | (= "dev")) -
coq-core
((>= "8.18" & < "8.21") | (= "dev"))
Used by (1)
-
vscoq-language-server
>= "2.4.1"
Conflicts (1)
-
vscoq-language-server
< "2.2.7~"