opam - vscoq-language-server

LSP based language server for Coq and its VSCoq user interface

Authors	Enrico Tassi, Maxime Dénès and Romain Tetley
License	MIT
Published	Feb 27, 2025
Homepage	https://github.com/coq-community/vscoq
Issue Tracker	https://github.com/coq-community/vscoq/issues
Maintainer	Enrico Tassi <enrico.tassi@inria.fr>
Available	arch != "arm32" & arch != "x86_32"
Dependencies	ocaml>=4.14 dune>=3.5 coq-core>=8.18 & <8.21 \| =dev coq-stdlib>=8.18 & <8.21 \| =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
Source [http]	https://github.com/coq/vscoq/releases/download/v2.2.5/vscoq-language-server-2.2.5.tar.gz md5=8bc848aaf2ad0fe41a02741e633ad7e3 sha512=eb6c80a3290b1d688ea3b94a3087f204c9f9f03bddd95b21952b02af1dc4de073c1b99baed5a5f6a395e69a27c0d45f6ec181488da62e9f5c6a77d91d752dd5c
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/vscoq-language-server/vscoq-language-server.2.2.5/opam

No package is dependent

vscoq-language-serverversion 2.2.5 (latest) 2.0.1+coq8.182.0.2+coq8.182.0.3+coq8.182.1.0+coq8.192.1.22.1.32.1.42.1.72.2.02.2.12.2.32.2.42.2.5 (latest)