opam - coq-lsp.0.2.0+8.18

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	Sep 4, 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>=0.14.1 coq>=8.18 & <8.19 ocamlfind>=1.8.1 zarith>=1.11 result>=1.5 ppx_deriving>=4.2.1 ppx_deriving_yojson>=3.4 ppx_import>=1.11.0 sexplib>=v0.13.0 & <v0.18 ppx_sexp_conv>=v0.13.0 & <v0.18 ppx_compare>=v0.13.0 & <v0.18 ppx_hash>=v0.13.0 & <v0.18
Optional dependencies	lwt logs
Source [http]	https://github.com/ejgallego/coq-lsp/releases/download/0.2.0%2B8.18/coq-lsp-0.2.0.8.18.tbz sha256=ba40f92f4c751793265d20f1c217638146e4714e0196a0d2b00c9ed58774abf6 sha512=0b7c1d98e22017e44d90461ee61081043401387251488ee7113668d24f6a463dca4ce690e30355248a949817c6b8f8a0944489c4d9b66bd239d903a089a1f11f
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coq-lsp/coq-lsp.0.2.0+8.18/opam

No package is dependent

coq-lspversion 0.2.0+8.18 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.190.1.9+8.170.1.9+8.180.1.9+8.190.2.0+8.170.2.0+8.180.2.0+8.190.2.0+8.20 (latest)