opam - coq-lsp.0.1.8+8.16

Authors	Emilio Jesús Gallego Arias <[email protected]>, Ali Caglayan <[email protected]>, Shachar Itzhaky <[email protected]> and Ramkumar Ramachandra <[email protected]>
License	LGPL-2.1-or-later
Published	Oct 26, 2023
Homepage	https://github.com/ejgallego/coq-lsp
Issue Tracker	https://github.com/ejgallego/coq-lsp/issues
Maintainer	[email protected]
Dependencies	ocaml>=4.11.0 dune>=3.2.0 cmdliner>=1.1.0 yojson>=1.7.0 uri>=4.2.0 dune-build-info>=3.2.0 menhir>=20220210 coq>=8.16.0 & <8.17 coq-serapi>=8.16.0 & <8.17 camlp-streams>=5.0
Source [http]	https://github.com/ejgallego/coq-lsp/releases/download/0.1.8%2B8.16/coq-lsp-0.1.8.8.16.tbz sha256=40e33157d83bf2c79791b50e31644c070803f9cba1c559ddc00d01a2d01d0f42 sha512=85bf5986091325df085e6b83056b05d37e82e2eb0f2db47bf46b0380ce23129f5d2139bf25ae75a52bff5c42868a2212bbaf6c888ce91dac55e814f146e2c89a
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coq-lsp/coq-lsp.0.1.8+8.16/opam

No package is dependent