Install this version:
emerge -a =dev-util/coq-lsp-0.1.9If this version is masked, you can unmask it using the autounmask tool or standard emerge options:
autounmask =dev-util/coq-lsp-0.1.9Or alternatively:
emerge --autounmask-write -a =dev-util/coq-lsp-0.1.9| Version | EAPI | Keywords | Slot |
|---|---|---|---|
| 0.1.9 | 8 | ~amd64 | 0 |
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit dune
COQ_V=8.19
DESCRIPTION="Visual Studio Code Extension and Language Server Protocol for Coq"
HOMEPAGE="https://github.com/ejgallego/coq-lsp"
SRC_URI="https://github.com/ejgallego/coq-lsp/archive/${PV}+${COQ_V}.tar.gz -> ${P}.tar.gz"
S="${WORKDIR}/${P}-${COQ_V}"
LICENSE="LGPL-2.1"
SLOT="0"
KEYWORDS="~amd64"
IUSE="ocamlopt test"
RESTRICT="!test? ( test )"
RDEPEND="
=sci-mathematics/coq-${COQ_V}*:=
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:=
"
DEPEND="
${RDEPEND}
"
BEPEND="
test? (
dev-ml/alcotest:=
)
"
Manage flags for this package:
euse -i <flag> -p dev-util/coq-lsp |
euse -E <flag> -p dev-util/coq-lsp |
euse -D <flag> -p dev-util/coq-lsp
=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:=
=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:=
| Type | File | Size | Source URLs |
|---|---|---|---|
| DIST | coq-lsp-0.1.9.tar.gz | 25388271 bytes | https://github.com/ejgallego/coq-lsp/archive/0.1.9+8.19.tar.gz |