coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
homepage ↗ github: ejgallego/coq-lsp
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| guru gitweb ↗ | 0.1.9 | 1 | 2 d | details › |
Versions & arches
Use flags of 0.1.9
- ocamlopt Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
- test Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)