mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-19 20:13:01 -04:00
17 lines
1.1 KiB
Groff
17 lines
1.1 KiB
Groff
BDEPEND=dev-lang/ocaml dev-ml/dune
|
|
DEFINED_PHASES=compile install test
|
|
DEPEND=>=sci-mathematics/coq-8.19.0:= <sci-mathematics/coq-8.20.0:= 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
|
|
INHERIT=dune
|
|
IUSE=ocamlopt test
|
|
KEYWORDS=~amd64
|
|
LICENSE=LGPL-2.1
|
|
RDEPEND=>=sci-mathematics/coq-8.19.0:= <sci-mathematics/coq-8.20.0:= 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_=edo 367e103a74bf77e6a8da7894d999fa3c multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe dune 339df00cc31668d437589817d093748d
|
|
_md5_=ea9bac2087fe870dd5ed057a4fed60f0
|