package coq-lsp
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Language Server Protocol native server for Coq
Install
dune-project
Dependency
Authors
Maintainers
Sources
coq-lsp-0.1.8.8.16.tbz
sha256=40e33157d83bf2c79791b50e31644c070803f9cba1c559ddc00d01a2d01d0f42
sha512=85bf5986091325df085e6b83056b05d37e82e2eb0f2db47bf46b0380ce23129f5d2139bf25ae75a52bff5c42868a2212bbaf6c888ce91dac55e814f146e2c89a
Description
Language Server Protocol native server for Coq
Published: 26 Oct 2023
Dependencies (10)
-
camlp-streams
>= "5.0" -
coq-serapi
>= "8.16.0" & < "8.17" -
coq
>= "8.16.0" & < "8.17" -
menhir
>= "20220210" -
dune-build-info
>= "3.2.0" -
uri
>= "4.2.0" -
yojson
>= "1.7.0" -
cmdliner
>= "1.1.0" -
dune
>= "3.2.0" -
ocaml
>= "4.11.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page