sci-mathematics/coq-mathcomp: constraint coq version to <8.16.0

Closes: https://bugs.gentoo.org/869053 Signed-off-by: Maciej Barć <[email protected]>
johu · Sep 7, 2022 · 10130c0 · 10130c0
1 parent 2100f31
commit 10130c0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...s/coq-mathcomp/coq-mathcomp-1.14.0.ebuild → ...oq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild b/...s/coq-mathcomp/coq-mathcomp-1.14.0.ebuild → ...oq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild
@@ -13,7 +13,7 @@ LICENSE="CeCILL-B"
 SLOT="0/${PV}"
 KEYWORDS="~amd64"
 
-RDEPEND=">=sci-mathematics/coq-8.13.0:="
+RDEPEND=">=sci-mathematics/coq-8.13.0:= <sci-mathematics/coq-8.16.0:="
 DEPEND="${RDEPEND}"
 
 # > make jobserver unavailable