opam - coq-lsp.0.1.6+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 22, 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.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+0.16.2 & <8.17 camlp-streams>=5.0
Source [http]	https://github.com/ejgallego/coq-lsp/archive/refs/tags/0.1.6.1+8.16.tar.gz sha256=714e28280df575a9aac5c382bfbaee2815ee278d11782f670d220372892554a3 sha512=ba713ecfb2f1f097c0a355991f65f3b8e46453efb08ee78073d9d9504225b83208907f2c6dfa39256fb9a34bece81fccbeb05b59f6c0f0e1729221c5ef1d97b8
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coq-lsp/coq-lsp.0.1.6+8.16/opam

No package is dependent