wyj/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2025-04-10 12:08:43 -04:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

dev-util/coq-lsp: Use * to specify the deps version

Browse Source 
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
This commit is contained in:
Hiroki Tokunaga 2024-07-22 18:24:31 +09:00
parent b554491f9c
commit 07b42b3490
No known key found for this signature in database
GPG Key ID: E276791E129FF601
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
dev-util/coq-lsp/coq-lsp-0.1.9.ebuild
View File

@ -5,14 +5,13 @@ EAPI=8
inherit dune
COQ_MIN_V=8.19
COQ_MAX_V=8.20
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_MIN_V}.tar.gz -> ${P}.tar.gz"
SRC_URI="https://github.com/ejgallego/coq-lsp/archive/${PV}+${COQ_V}.tar.gz -> ${P}.tar.gz"
S="${WORKDIR}/${P}-${COQ_MIN_V}"
S="${WORKDIR}/${P}-${COQ_V}"
LICENSE="LGPL-2.1"
@ -24,7 +23,7 @@ IUSE="ocamlopt test"
RESTRICT="!test? ( test )"
RDEPEND="
>=sci-mathematics/coq-${COQ_MIN_V}.0:= <sci-mathematics/coq-${COQ_MAX_V}.0:=
=sci-mathematics/coq-${COQ_V}*:=
sci-mathematics/coq-serapi:=
dev-ml/cmdliner:=