commit: 07b42b34909b56e2f70569c4e9e62a69dae9c39d Author: Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com> AuthorDate: Mon Jul 22 09:24:31 2024 +0000 Commit: Hiroki Tokunaga <tokusan441 <AT> gmail <DOT> com> CommitDate: Mon Jul 22 09:24:31 2024 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=07b42b34
dev-util/coq-lsp: Use `*` to specify the deps version Signed-off-by: Hiroki Tokunaga <tokusan441 <AT> gmail.com> dev-util/coq-lsp/coq-lsp-0.1.9.ebuild | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild b/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild index 91ed69240..fe157ddf8 100644 --- a/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild +++ b/dev-util/coq-lsp/coq-lsp-0.1.9.ebuild @@ -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:=
