diff options
| -rw-r--r-- | app-emacs/lean-mode/lean-mode-0_p20230611-r1.ebuild (renamed from app-emacs/lean-mode/lean-mode-0_p20230611.ebuild) | 3 |
1 files changed, 1 insertions, 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 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 ) |