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