opam - vscoq-language-server.2.1.0+coq8.19

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 12, 2024
Homepage	https://github.com/coq-community/vscoq
Issue Tracker	https://github.com/coq-community/vscoq/issues
Maintainer	Enrico Tassi <enrico.tassi@inria.fr>
Dependencies	ocaml>=4.13.1 dune>=3.5 coq-core>=8.18 & <8.20 coq-stdlib>=8.18 & <8.20 yojson jsonrpc>=1.15 ocamlfind ppx_inline_test ppx_assert ppx_sexp_conv ppx_yojson_conv<v0.16.0 ppx_deriving sexplib ppx_yojson_conv ppx_import ppx_optcomp result>=1.5 lsp>=1.15 & <1.19.0 sel>=0.4.0
Source [http]	https://github.com/coq-community/vscoq/releases/download/v2.1.0+coq8.19/vscoq-language-server-2.1.0-coq8.19.tar.gz md5=7bdc4ae44d8d6ab21d586e20835a1b79 sha512=7ab8ddae303a9b9ec2d62338edbf4176ca1146ed29e34eb02cf41fc91bf21d507c6e571ba30b73e45869d25a750d7915e79b915d962629cb9aed1598e0b68795
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/vscoq-language-server/vscoq-language-server.2.1.0+coq8.19/opam

No package is dependent

vscoq-language-serverversion 2.1.0+coq8.19 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.52.2.6 (latest)Documentation on ocaml.org