gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2025-12-21 21:17:37 -08:00
Code Issues Projects Releases Wiki Activity

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

Browse Source 
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć 2025-01-02 22:48:40 +01:00
parent 7e5d10a3e0
commit fa8507e9c0
No known key found for this signature in database
GPG Key ID: 031C9FE65BED714A
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
app-emacs/lean-mode/lean-mode-0_p20230611.ebuild → app-emacs/lean-mode/lean-mode-0_p20230611-r1.ebuild
View File

@ -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 )