opam - coq-lsp.0.1.5.1+8.16

Authors	Emilio Jesús Gallego Arias <e@x80.org>, Ali Caglayan <alizter@gmail.com>, Shachar Itzhaky <shachari@cs.technion.ac.il> and Ramkumar Ramachandra <r@artagnon.com>
License	LGPL-2.1-or-later
Published	Feb 17, 2023
Homepage	https://github.com/ejgallego/coq-lsp
Issue Tracker	https://github.com/ejgallego/coq-lsp/issues
Maintainer	e@x80.org
Dependencies	ocaml>=4.11.0 dune>=3.2 cmdliner>=1.1.0 yojson>=1.7.0 uri>=4.2.0 menhir>=20220210 coq>=8.16.0 & <8.17 coq-serapi>=8.16.0+0.16.2 & <8.17 camlp-streams>=5.0
Source [http]	https://github.com/ejgallego/coq-lsp/releases/download/0.1.5.1%2B8.16/coq-lsp-0.1.5.1.8.16.tbz sha256=bd1d61581eed552aef1b2a37442684a9f96240f1faaf695330c33391a8742a4a sha512=44566902af1ef750d901527b4b9f5ef9872cfed88a935fe94a78e5a07692855949fed5d71e6709a19f5bf619cf3640391f393fdfeaa98834e72c35106af460c3
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coq-lsp/coq-lsp.0.1.5.1+8.16/opam

No package is dependent

coq-lspversion 0.1.5.1+8.16 0.1.00.1.1+v8.160.1.2+v8.160.1.3+v8.160.1.4+v8.160.1.5+8.160.1.5.1+8.160.1.6+8.160.1.6.1+8.170.1.7+8.160.1.7+8.170.1.7+8.180.1.8+8.160.1.8+8.170.1.8+8.180.1.8+8.19 (latest)