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.3.tar.gz
md5=fbc594cef4ba2469882803c12fb5cd51
sha512=2f93d42591e9030f2786f1d9a9783ed92c2cd299ccfd99d0a65f3b5984762f61c1bec3b3f854a557f72ca6c309e9c1eaec27065f0ee1a9cb9dfa4a7ee05dac15
Description
LSP based language server for Rocq and its VSRocq user interface
Published: 16 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.3"
Conflicts (1)
-
vscoq-language-server
< "2.2.7~"