diff --git a/sci-mathematics/lean/lean-4.14.0.ebuild b/sci-mathematics/lean/lean-4.14.0-r1.ebuild
similarity index 98%
rename from sci-mathematics/lean/lean-4.14.0.ebuild
rename to sci-mathematics/lean/lean-4.14.0-r1.ebuild
index 2682e9a72b4a2..153bf8d286fb8 100644
--- a/sci-mathematics/lean/lean-4.14.0.ebuild
+++ b/sci-mathematics/lean/lean-4.14.0-r1.ebuild
@@ -32,6 +32,7 @@ IUSE="debug source"
 
 RDEPEND="
 	dev-libs/gmp:=
+	dev-libs/libuv:=
 	sci-mathematics/cadical
 "
 DEPEND="