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