coq-lspversion
Language Server Protocol native server for Coq
Language Server Protocol native server for Coq
| Authors | Emilio Jesús Gallego Arias <[email protected]>, Ali Caglayan <[email protected]>, Shachar Itzhaky <[email protected]> and Ramkumar Ramachandra <[email protected]> |
|---|---|
| License | LGPL-2.1-or-later |
| Published | |
| Homepage | https://github.com/ejgallego/coq-lsp |
| Issue Tracker | https://github.com/ejgallego/coq-lsp/issues |
| Maintainer | [email protected] |
| Dependencies |
|
| Source [http] | https://github.com/ejgallego/coq-lsp/releases/download/0.1.6.1%2B8.17/coq-lsp-0.1.6.1.8.17.tbz sha256=0b0ea3ce68aa549f61c004dd05d2b386dc18811ec4c9ac667ff2917857758707 sha512=d3e3ae7e055c1be38368fdc86679462e2aa4636805142e8fd1f73423a14a7c87e06d752f04964377fe39ed10972e3c47d433127694b104c0285adb976faadf66 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/coq-lsp/coq-lsp.0.1.6.1+8.17/opam |
No package is dependent
