opam - coq-lsp.0.2.2+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	Oct 7, 2024
Homepage	https://github.com/ejgallego/coq-lsp
Issue Tracker	https://github.com/ejgallego/coq-lsp/issues
Maintainer	e@x80.org
Dependencies	any of ocaml>=5.0 all of ocaml<=5.0 memprof-limits>=0.2.1 dune>=3.2.0 cmdliner>=1.1.0 yojson>=1.7.0 uri>=4.2.0 dune-build-info>=3.2.0 menhir>=20220210 ppx_inline_test>=v0.15.0 coq>=8.17 & <8.18 ocamlfind>=1.9.1 zarith>=1.13 result>=1.5 ppx_deriving>=5.2 ppx_deriving_yojson>=3.7.0 ppx_import>=1.11.0 sexplib>=v0.15.0 & <v0.18 ppx_sexp_conv>=v0.15.0 & <v0.18 ppx_compare>=v0.15.0 & <v0.18 ppx_hash>=v0.15.0 & <v0.18
Optional dependencies	lwt logs
Source [http]	https://github.com/ejgallego/coq-lsp/releases/download/0.2.2+8.17/coq-lsp-0.2.2.8.17.tbz sha256=64c07c21284a6cf18c9c79fd614f188ebc552dd7a783a00e51c14cca8d062d07 sha512=9cc3efad65f5896af847880b74833c50897a7e4eba34f61e34b3c5136e237f53c6c38252aeb553b932d26e6b5b252631e758d8a8994c2b7c12cfa989fd5686ff
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coq-lsp/coq-lsp.0.2.2+8.17/opam

No package is dependent