opam - vsrocq-language-server

LSP based language server for Rocq and its VSRocq user interface

Authors	Enrico Tassi, Maxime Dénès and Romain Tetley
License	MIT
Published	Apr 15, 2026
Homepage	https://github.com/rocq-prover/vsrocq
Issue Tracker	https://github.com/rocq-prover/vsrocq/issues
Maintainer	Enrico Tassi <enrico.tassi@inria.fr>
Available	arch != "arm32" & arch != "x86_32"
Dependencies	ocaml>=4.14 dune>=3.5 any of all of coq-core>=8.18 & <8.21 \| =dev coq-stdlib>=8.18 & <8.21 \| =dev rocq-core>=9.0+rc1 & <9.3~ \| =dev yojson jsonrpc>=1.15 ocamlfind ppx_inline_test ppx_assert ppx_sexp_conv ppx_deriving sexplib ppx_yojson_conv ppx_import ppx_optcomp result>=1.5 lsp>=1.15 sel>=0.6.0
Conflicts	vscoq-language-server<2.2.7~
Source [http]	https://github.com/rocq-prover/vsrocq/releases/download/v2.4.1/vsrocq-language-server-2.4.1.tar.gz md5=86c43adac61349acb97dc2fe75a69b25 sha512=91dcbc400d6f27faa28091fbc2ff02e04990814ab6a4f1133ee14c38b57008ee31775d98085faffed2e6dc29f9b38369f533186a13b7e351a3748a738df601cc
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/vsrocq-language-server/vsrocq-language-server.2.4.1/opam

Required by

vsrocq-language-serverversion 2.4.1 (latest) 2.3.02.3.12.3.32.3.42.4.1 (latest)Documentation on ocaml.org