Language Server Protocol native server for Coq
Description
Language Server Protocol native server for Coq
Published: 16 Jan 2023
Dependencies (7)
-
camlp-streams
>= "5.0" -
coq-serapi
>= "8.16.0+0.16.2" & < "8.17" -
coq
>= "8.16.0" & < "8.17" -
yojson
>= "1.7.0" -
cmdliner
>= "1.1.0" -
dune
>= "3.2" -
ocaml
>= "4.12.0"
Reverse Dependencies
-
None
Conflicts
-
None
Install
Authors
Maintainers
Sources
coq-lsp-0.1.3.v8.16.tbz
sha256=d6d589ae18453d9251b4250df50e59cfc87254de0e4734e13c5bca06ab14cee5
sha512=802b4673c7f581976526a3cb4bd824f7574c5b1cc8fcc7759fcd3358cdc3e4cebef3ec908899ad68129190777ccda931dfc1643b45db156ede15acae0382c148