BDEPEND=dev-lang/ocaml dev-ml/dune
DEFINED_PHASES=compile install test
DEPEND==sci-mathematics/coq-8.19*:= sci-mathematics/coq-serapi:= dev-ml/cmdliner:= dev-ml/yojson:= dev-ml/uri:= dev-ml/dune-build-info:= dev-ml/menhir:= dev-ml/ppx_inline_test:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
DESCRIPTION=Visual Studio Code Extension and Language Server Protocol for Coq
EAPI=8
HOMEPAGE=https://github.com/ejgallego/coq-lsp
IUSE=ocamlopt test
KEYWORDS=~amd64
LICENSE=LGPL-2.1
RDEPEND==sci-mathematics/coq-8.19*:= sci-mathematics/coq-serapi:= dev-ml/cmdliner:= dev-ml/yojson:= dev-ml/uri:= dev-ml/dune-build-info:= dev-ml/menhir:= dev-ml/ppx_inline_test:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:=
RESTRICT=!test? ( test )
SLOT=0
SRC_URI=https://github.com/ejgallego/coq-lsp/archive/0.1.9+8.19.tar.gz -> coq-lsp-0.1.9.tar.gz
_eclasses_=dune	21c2970666b517829dc7b963ca1f4a4a	edo	367e103a74bf77e6a8da7894d999fa3c	multiprocessing	1e32df7deee68372153dca65f4a7c21f
_md5_=9c6b545cb1f5b638267fcceef2cb87c8