commit: 5845e37ea1bc6cb1e9d2e80642c63b52a09c1f87 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Tue Mar 14 23:53:27 2023 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Wed Mar 15 00:25:40 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5845e37e
sci-mathematics/coq-mathcomp: introduce COQ_MIN_V Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild index fec89b781e85..7ccb37804477 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild @@ -3,6 +3,8 @@ EAPI=8 +COQ_MIN_V=8.16.0 + DESCRIPTION="Mathematical Components for the Coq proof assistant" HOMEPAGE="https://github.com/math-comp/math-comp/" SRC_URI="https://github.com/math-comp/math-comp/archive/mathcomp-${PV}.tar.gz @@ -14,7 +16,7 @@ SLOT="0/${PV}" KEYWORDS="~amd64" RDEPEND=" + >=sci-mathematics/coq-${COQ_MIN_V}:= dev-lang/ocaml:= - >=sci-mathematics/coq-8.16.0:= " DEPEND="${RDEPEND}"