coq-lspversion

Language Server Protocol native server for Coq

Language Server Protocol native server for Coq

AuthorsEmilio Jesús Gallego Arias <e@x80.org>, Ali Caglayan <alizter@gmail.com>, Shachar Itzhaky <shachari@cs.technion.ac.il> and Ramkumar Ramachandra <r@artagnon.com>
LicenseLGPL-2.1-or-later
Published
Homepagehttps://github.com/ejgallego/coq-lsp
Issue Trackerhttps://github.com/ejgallego/coq-lsp/issues
Maintainere@x80.org
Dependencies
Source [http] https://github.com/ejgallego/coq-lsp/releases/download/0.1.3%2Bv8.16/coq-lsp-0.1.3.v8.16.tbz
sha256=d6d589ae18453d9251b4250df50e59cfc87254de0e4734e13c5bca06ab14cee5
sha512=802b4673c7f581976526a3cb4bd824f7574c5b1cc8fcc7759fcd3358cdc3e4cebef3ec908899ad68129190777ccda931dfc1643b45db156ede15acae0382c148
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/coq-lsp/coq-lsp.0.1.3+v8.16/opam
No package is dependent