opam - vsrocq-language-server.2.5.1

LSP based language server for Rocq and its VSRocq user interface

Authors	Enrico Tassi, Maxime Dénès and Romain Tetley
License	MIT
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 coq-stdlib>=8.18 & <8.21 rocq-core>=9.0+rc1 & <9.4~ \| =dev yojson jsonrpc>=1.15 ocamlfind ppx_inline_testwith-test ppx_assertwith-test ppx_blob>=0.8.0 ppx_sexp_conv ppx_deriving sexplib bechamelwith-test ppx_yojson_conv ppx_import ppx_optcomp memprof-limits result>=1.5 lsp>=1.15 sel>=0.8.0
Conflicts	vscoq-language-server<2.2.7~
Source [http]	https://github.com/rocq-prover/vsrocq/releases/download/v2.5.1/vsrocq-language-server-2.5.1.tar.gz md5=1c1c167b19d6899ee29c998378403340 sha512=62209e4ab6d078a2ee286f38fdcf65fc964dc282b54a1a32c564c892f1a4ee72d2c43ec04baa0b49f04e331491952b4f099df71d5a4f213daba7db0734223923

Required by

vsrocq-language-serverversion 2.5.1 (latest) 2.3.02.3.12.3.32.3.42.4.12.4.32.4.3+12.5.02.5.1 (latest)Documentation on ocaml.org