commit:     fa8507e9c0f45e1a41b623379d6a584964480de7
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Jan  2 21:48:40 2025 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Jan  2 21:48:50 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fa8507e9

app-emacs/lean-mode: remove unnecessary lean rdep

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 .../{lean-mode-0_p20230611.ebuild => lean-mode-0_p20230611-r1.ebuild}  | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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 )

Reply via email to