[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq-mathcomp/

[Maciej Barć]

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}"