diff --git a/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild b/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
index f17034030a..b1522ec7b5 100644
--- a/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
+++ b/sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
@@ -37,7 +37,7 @@ DEPEND="
 "
 RDEPEND="
 	${DEPEND}
-	dev-lang/lean
+	dev-lang/lean:0/3
 "
 
 distutils_enable_tests pytest