opam - coq-lsp.0.1.6.1+8.17

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	Apr 4, 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.17 & <8.18 coq-serapi>=8.17+rc1+0.17.1 & <8.18
Source [http]	https://github.com/ejgallego/coq-lsp/releases/download/0.1.6.1%2B8.17/coq-lsp-0.1.6.1.8.17.tbz sha256=0b0ea3ce68aa549f61c004dd05d2b386dc18811ec4c9ac667ff2917857758707 sha512=d3e3ae7e055c1be38368fdc86679462e2aa4636805142e8fd1f73423a14a7c87e06d752f04964377fe39ed10972e3c47d433127694b104c0285adb976faadf66
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coq-lsp/coq-lsp.0.1.6.1+8.17/opam

No package is dependent