From 6c79f5e387b454cdfbe5d9f3826cfbea41a4055b Mon Sep 17 00:00:00 2001 From: Andrew Ammerlaan Date: Wed, 1 Dec 2021 20:50:06 +0100 Subject: [PATCH] sci-mathematics/lean-mathlib: dev-lang/lean --> sci-mathematics/lean Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Andrew Ammerlaan --- sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20211021.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20211021.ebuild b/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20211021.ebuild index 414cad8fb5..0f991487e7 100644 --- a/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20211021.ebuild +++ b/sci-mathematics/lean-mathlib/lean-mathlib-0.1_p20211021.ebuild @@ -15,7 +15,7 @@ LICENSE="Apache-2.0" SLOT="0" IUSE="test" -RDEPEND=">=dev-lang/lean-3.34.0" +RDEPEND=">=sci-mathematics/lean-3.34.0" DEPEND=" ${RDEPEND} sci-mathematics/mathlib-tools