diff options
Diffstat (limited to 'app-emacs')
| -rw-r--r-- | app-emacs/Manifest.gz | bin | 76621 -> 76618 bytes | |||
| -rw-r--r-- | app-emacs/lean-mode/Manifest | 2 | ||||
| -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 |
3 files changed, 2 insertions, 3 deletions
diff --git a/app-emacs/Manifest.gz b/app-emacs/Manifest.gz Binary files differindex c3fd855fe0e3..334301a3c535 100644 --- a/app-emacs/Manifest.gz +++ b/app-emacs/Manifest.gz diff --git a/app-emacs/lean-mode/Manifest b/app-emacs/lean-mode/Manifest index cb86eeb2bd53..699df3b35bf8 100644 --- a/app-emacs/lean-mode/Manifest +++ b/app-emacs/lean-mode/Manifest @@ -1,4 +1,4 @@ AUX 50lean-mode-gentoo.el 181 BLAKE2B 9221df43fd3d0693dc02e4730972b6b815c1bc14054b9f0394ba370f03471e7bc68bf271dd13ca8b30289dc88743a15c05ce6c0043ff94a8d099408350264fa0 SHA512 36faf0476fae472bc509efc939036b527fecb67685bc5d8ab4887ab205a9ce3a197c001480967e5cd351901d5a9a7ee57a06de3d74a03dbb9c4237cd4d08ccae DIST lean-mode-0_p20230611.tar.gz 46798 BLAKE2B b7d858979fc40f066eb8a212acf0f18a7a95b41df29924b7ca1b34e502db3b5966ddd3e83a7bf37cce0a836819ee46f18678244b00d6e951de83694a637789cf SHA512 f7b336887acd99306f9d50096dd3fda707d640be9e96f6211d826a4ba477c2a16b591bd9529456ce4a763700eed06f23b06e505120935dc7b9066ac530ba4231 -EBUILD lean-mode-0_p20230611.ebuild 845 BLAKE2B 862b841ed27ad5224fd170714586f4aa37fe5dea2f375a54ca9a825fd7c5070e6201c6c26c5223fe7fa322bbfb00e2b8cfb24e331a0e5de2db089c946465c579 SHA512 1528afc74957a52bef1aa3edf3134abeee42e3cb4e7bd10fc5d02721ce1a23f031db5c2323d1a5aec5e5e2899200a673098781ab90c75654b6e7c07e544b8a8b +EBUILD lean-mode-0_p20230611-r1.ebuild 819 BLAKE2B d2a9c7db5bd2b607b1ebad1111b83e70f5d7d2e275c745c3b0bc189253d5434eb1b2cfb671dabf602abb906061b13244faf723d4819b2582b3ec29b64817fc5e SHA512 0dfacc5ec20e862bd2864d3abb33f4414d3355b61b24004834dfa8d662f4a03dd962a2fa63fe51817d9307106ac7c526347387b00f8783e5f70fc91527185372 MISC metadata.xml 642 BLAKE2B 7871c2b174dfa7a9b9c7ef917276de3c13d217842154bfa0b5097e380a10984281fa885a8348a1c201731cac8a95fc44ba596713877c8fa4c70c39c66da010bd SHA512 81f02f626d23e32cc2acf9bf72a3e7c372063c17554afee69a0ceb8aeeecbaac11959b0458a636ad6c7b493cfb6cf3c223e922e5a09dfb0c0213972dd244bf75 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 ) |