From 3a77bece10ca6cbbc69bffed2e22cd0e6324a03e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maciej=20Bar=C4=87?= <xgqt@gentoo.org>
Date: Sun, 16 Mar 2025 21:45:21 +0100
Subject: [PATCH] sci-mathematics/coq-mathcomp: add coq max version pin
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 ...mp-1.19.0.ebuild => coq-mathcomp-1.19.0-r1.ebuild} | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)
 rename sci-mathematics/coq-mathcomp/{coq-mathcomp-1.19.0.ebuild => coq-mathcomp-1.19.0-r1.ebuild} (74%)

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 9e92c79ab419b..7321366946582 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='.*'