coq-lspversion
Language Server Protocol native server for Coq
Language Server Protocol native server for Coq
| Authors | Emilio 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> |
|---|---|
| License | LGPL-2.1-or-later |
| Published | |
| Homepage | https://github.com/ejgallego/coq-lsp |
| Issue Tracker | https://github.com/ejgallego/coq-lsp/issues |
| Maintainer | e@x80.org |
| Dependencies |
|
| Source [http] | https://github.com/ejgallego/coq-lsp/releases/download/0.1.5%2B8.16/coq-lsp-0.1.5.8.16.tbz sha256=5a0819d6ceb18cf031ece2c466eefd27f018d85c1c7472038bbb7c2663714b6e sha512=be97b25db922014681dce75a68566b887f692c60208b698f03ce8b2fc0c1a2eab5c0c563d698eeb1d21dea5405468e958e67cce9a6c94a3106529f1b4ebfce13 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/coq-lsp/coq-lsp.0.1.5+8.16/opam |
No package is dependent
