opam - coq-lsp.0.1.7+8.17

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	Jul 11, 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.17 & <8.18 coq-serapi>=8.17.0 & <8.18
Source [http]	https://github.com/ejgallego/coq-lsp/releases/download/0.1.7%2B8.17/coq-lsp-0.1.7.8.17.tbz sha256=efb85d6656abfd26d2c6fd5e69c9b6428b72679d13ee34c493b4253e345b1c8f sha512=71a47460bab8781bc9f24bae0369b463a9d527a96f1a32eb5752172316f1bdc1941e0430e79d775b61d854a7306ba8f97707c4e406d02bdf8b2ad57877c5e690
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coq-lsp/coq-lsp.0.1.7+8.17/opam

No package is dependent