commit: 3a77bece10ca6cbbc69bffed2e22cd0e6324a03e Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Sun Mar 16 20:45:21 2025 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sun Mar 16 21:11:50 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3a77bece
sci-mathematics/coq-mathcomp: add coq max version pin Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> ...q-mathcomp-1.19.0.ebuild => coq-mathcomp-1.19.0-r1.ebuild} | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.19.0.ebuild b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.19.0-r1.ebuild similarity index 74% rename from sci-mathematics/coq-mathcomp/coq-mathcomp-1.19.0.ebuild rename to sci-mathematics/coq-mathcomp/coq-mathcomp-1.19.0-r1.ebuild index 9e92c79ab419..732136694658 100644 --- a/sci-mathematics/coq-mathcomp/coq-mathcomp-1.19.0.ebuild +++ b/sci-mathematics/coq-mathcomp/coq-mathcomp-1.19.0-r1.ebuild @@ -1,9 +1,10 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 -COQ_MIN_V=8.16.0 +COQ_MIN_V="8.16.0" +COQ_MAX_V="8.21.0" DESCRIPTION="Mathematical Components for the Coq proof assistant" HOMEPAGE="https://github.com/math-comp/math-comp/"; @@ -16,10 +17,12 @@ SLOT="0/${PV}" KEYWORDS="~amd64" RDEPEND=" - >=sci-mathematics/coq-${COQ_MIN_V}:= + >=sci-mathematics/coq-${COQ_MIN_V}:= <sci-mathematics/coq-${COQ_MAX_V}:= dev-lang/ocaml:= " -DEPEND="${RDEPEND}" +DEPEND=" + ${RDEPEND} +" # Do not complain about CFLAGS etc since ML projects do not use them. QA_FLAGS_IGNORED='.*'
