opam - vsrocq-language-server.2.3.4

LSP based language server for Rocq and its VSRocq user interface

Authors	Enrico Tassi, Maxime Dénès and Romain Tetley
License	MIT
Published	Dec 1, 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.4/vsrocq-language-server-2.3.4.tar.gz md5=622048b033c1a214ffbb6f63872fcaa0 sha512=b4140879479fbc8318130e9b258c90597b4c02dd115882ca1b590046c2204dacaf94b3e50cd9b5bb61cd59462bd4edf7927b787eeb3c113fc066a7697c08c61b
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/vsrocq-language-server/vsrocq-language-server.2.3.4/opam

Required by

vsrocq-language-serverversion 2.3.4 (latest) 2.3.02.3.12.3.32.3.4 (latest)Documentation on ocaml.org