coq-lspversion
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.1%2Bv8.16/coq-lsp-0.1.1.v8.16.tbz sha256=be48fd1449d8a0eb209e83ebbcde95090e94ba74ee7e744a399c3a5b67cc4acb sha512=c711b953346d3e45ed61c75d5f3825d877820dec38e5dc803cd1ab9a32d6b4a850232a84984c3c340d3939c459ea0595f606d303e1ba714e4245a784b3507ab0 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/coq-lsp/coq-lsp.0.1.1+v8.16/opam |
No package is dependent
