diff --git a/app-emacs/lean-mode/lean-mode-0_p20230611.ebuild b/app-emacs/lean-mode/lean-mode-0_p20230611-r1.ebuild
similarity index 92%
rename from app-emacs/lean-mode/lean-mode-0_p20230611.ebuild
rename to app-emacs/lean-mode/lean-mode-0_p20230611-r1.ebuild
index 2ded0d08f2c2..03dabee23bed 100644
--- a/app-emacs/lean-mode/lean-mode-0_p20230611.ebuild
+++ b/app-emacs/lean-mode/lean-mode-0_p20230611-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -30,7 +30,6 @@ BDEPEND="
 "
 RDEPEND="
 	${BDEPEND}
-	sci-mathematics/lean:0/3
 "
 
 DOCS=( README.md )