diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2025-01-02 22:48:40 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2025-01-02 22:48:50 +0100 |
| commit | fa8507e9c0f45e1a41b623379d6a584964480de7 (patch) | |
| tree | 9993453f5a2d4e5976e39cbb24b757f26a806e2d /app-emacs | |
| parent | sci-mathematics/lean: update XML metadata (diff) | |
| download | gentoo-fa8507e9c0f45e1a41b623379d6a584964480de7.tar.gz gentoo-fa8507e9c0f45e1a41b623379d6a584964480de7.tar.bz2 gentoo-fa8507e9c0f45e1a41b623379d6a584964480de7.zip | |
app-emacs/lean-mode: remove unnecessary lean rdep
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-emacs')
| -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 ) |