opam - coq-lsp.0.2.5+9.0

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	Dec 4, 2025
Homepage	https://github.com/ejgallego/coq-lsp
Issue Tracker	https://github.com/ejgallego/coq-lsp/issues
Maintainer	e@x80.org
Dependencies	any of all of ocaml>=5.0 ocaml<5.3 all of ocaml>=4.12 memprof-limits>=0.2.1 ocamlwith-test & >=4.13 dune>=3.13.0 cmdliner>=1.1.0 yojson>=1.7.0 uri>=4.2.0 dune-build-info>=3.2.0 tyxml>=4.5.0 menhir>=20220210 ppx_inline_test>=v0.15.0 ocamlfind>=1.9.8 rocq-prover>=9.0 & <9.1 rocq-runtime>=9.0 & <9.1 rocq-core>=9.0 & <9.1 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
Conflicts	result<1.5
Source [http]	https://github.com/ejgallego/coq-lsp/releases/download/0.2.5+9.0/coq-lsp-0.2.5+9.0.tbz sha256=11ba9a2f5c25f55fdfe1c00072f89940e35bd1441c64e2adac388a1cda53c881 sha512=b13d76d054c47354032d3371db8ff8bc2fbc78e2509596733249ebca8a2f5ce94529fcdb76cce0a353ecea26f66a52cd2b51310dad9156be10de7fe2ee66f6ba
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coq-lsp/coq-lsp.0.2.5+9.0/opam

No package is dependent