coq-lspversion Documentation on ocaml.org
Language Server Protocol native server for Coq
Language Server Protocol native server for Coq
| Author | Emilio Jesús Gallego Arias <e@x80.org> |
|---|---|
| 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.0/coq-lsp-0.1.0.tbz sha256=d2e95a517ff35f59150c4f8399dc23899923a9cc93fce190efaa05422d3bbcf5 sha512=5593afa6fef241a63cf685fe6e4af42482884aa9078d080503f1aa7987da5f96cc95ddb48b1393ac1bd240e3510f4f7a61fe83882c0f5f8a38c0279eed4a0a11 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/coq-lsp/coq-lsp.0.1.0/opam |
No package is dependent
