From e5ad8c8eb25b4d090ae1e45018166f0649b38f3b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciej=20Bar=C4=87?= Date: Mon, 6 Oct 2025 22:42:51 +0200 Subject: [PATCH] sci-mathematics/coq-stdlib: depend on coq sub-slot MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Closes: https://bugs.gentoo.org/963863 Signed-off-by: Maciej Barć --- .../{coq-stdlib-9.0.0.ebuild => coq-stdlib-9.0.0-r1.ebuild} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename sci-mathematics/coq-stdlib/{coq-stdlib-9.0.0.ebuild => coq-stdlib-9.0.0-r1.ebuild} (95%) diff --git a/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild b/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0-r1.ebuild similarity index 95% rename from sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild rename to sci-mathematics/coq-stdlib/coq-stdlib-9.0.0-r1.ebuild index a297c01f13ee8..b5ec8fafba16b 100644 --- a/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0.ebuild +++ b/sci-mathematics/coq-stdlib/coq-stdlib-9.0.0-r1.ebuild @@ -30,7 +30,7 @@ DUNE_PACKAGES=( ) RDEPEND=" - >=sci-mathematics/coq-${PV} + >=sci-mathematics/coq-${PV}:= " DEPEND=" ${RDEPEND}