opam - vsrocq-language-server.2.3.3

LSP based language server for Rocq and its VSRocq user interface

Authors	Enrico Tassi, Maxime Dénès and Romain Tetley
License	MIT
Published	Oct 29, 2025
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 coq-core>=8.18 & <8.21 \| =dev rocq-core>=9.0+rc1 & <9.2~ \| =dev any of coq-stdlib>=8.18 & <8.21 \| =dev rocq-stdlib>=9.0+rc1 & <9.2~ \| =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.3.3/vsrocq-language-server-2.3.3.tar.gz md5=c3f17c36f162c6be3ed6f35a30e3a18d sha512=32c67c0a915d0983332337d891ccc40d3204b04e83c8d307cffdda06df7798db8bedb74e705101d2c83d595cfb2e4f82ecbf576fe3c385ec7ead9689f50f7d05
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/vsrocq-language-server/vsrocq-language-server.2.3.3/opam

Required by

vsrocq-language-serverversion 2.3.3 (latest) 2.3.02.3.12.3.3 (latest)Documentation on ocaml.org