diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-06-22 01:20:40 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-06-22 01:20:40 +0100 |
| commit | cb6b2150348c9dc57c68bcba47bcdb6f20e8e508 (patch) | |
| tree | 4d89a8eab47a7fbc14b209c7c252724a72c68f8a /app-emacs/lean-mode | |
| parent | c0bcbed1a8a833beeae3ab7541dc9f460ab7cfce (diff) | |
gentoo auto-resync : 22:06:2023 - 01:20:39
Diffstat (limited to 'app-emacs/lean-mode')
| -rw-r--r-- | app-emacs/lean-mode/Manifest | 8 | ||||
| -rw-r--r-- | app-emacs/lean-mode/lean-mode-0_p20230611.ebuild (renamed from app-emacs/lean-mode/lean-mode-20211220-r1.ebuild) | 17 | ||||
| -rw-r--r-- | app-emacs/lean-mode/lean-mode-20220124-r1.ebuild | 33 | ||||
| -rw-r--r-- | app-emacs/lean-mode/lean-mode-20220501.ebuild | 33 |
4 files changed, 13 insertions, 78 deletions
diff --git a/app-emacs/lean-mode/Manifest b/app-emacs/lean-mode/Manifest index 53fe0a924db9..cb86eeb2bd53 100644 --- a/app-emacs/lean-mode/Manifest +++ b/app-emacs/lean-mode/Manifest @@ -1,8 +1,4 @@ AUX 50lean-mode-gentoo.el 181 BLAKE2B 9221df43fd3d0693dc02e4730972b6b815c1bc14054b9f0394ba370f03471e7bc68bf271dd13ca8b30289dc88743a15c05ce6c0043ff94a8d099408350264fa0 SHA512 36faf0476fae472bc509efc939036b527fecb67685bc5d8ab4887ab205a9ce3a197c001480967e5cd351901d5a9a7ee57a06de3d74a03dbb9c4237cd4d08ccae -DIST lean-mode-20211220.tar.gz 46406 BLAKE2B ff7663ae41befed9ce30aeeb0462e6877b827367823e97330b18c741db76162f49b0ce0dca58585892d173e91e290d155320f97416ff4306958dd38f1e452e83 SHA512 23f1d24a4ffdcbff0266cf6e3fd6ddefcd6f380ecab6e21a73cfcbb2a281200f3c22482a19b97988af316a3e206ab3069abf4eb3d45a9ccff7e0f18018b1dab5 -DIST lean-mode-20220124.tar.gz 46725 BLAKE2B 3f1f31cd6005570439d609f3cf9565f5adbd124772264ccc301bf8f9dda23d0b023e0afc703cfc572c3faee3498315852873effa3963203d6567ed029a1e14ed SHA512 292193a83847e034625d60825eec669b3d26591fab9e93448fc8e685935db5bfbb3417ae4e8d32facead40d02031b67f15dbaa52f7214b70343e7e677aa3cd6a -DIST lean-mode-20220501.tar.gz 46795 BLAKE2B 1d1024f8eb29f787c26368945086d61d06375ee675379833856b72fd47b6fb35e2b24a4dc6d2bb1cc333fe8fc4ed760e13a1e6978e539a994d1907ce774761b6 SHA512 131d71f863e59a0cdfd5eeab015e9e9869e4edd87b1cb45d5864aa13858aac5d8b05843a82a38db9a6e27fe6d54633bdb473509ab9ce179dc216a3fd8f89ad30 -EBUILD lean-mode-20211220-r1.ebuild 724 BLAKE2B c402acfd6ac343f06c697f7bcca54d0b39882939865af57ec6fa49ff1eff4195715823ca6f82ff261b28d4c68fee92f0f3ce43e8d9e3e92dd52bf830886a1d91 SHA512 ea48459e5d4ec1f239697a1ad4e17f8b0d06e42e7d91ffb02b73d4a4c8ccf0eb72e6f28bb110397224fc17abe91f20a7f393706e486a8c88635b9afb0c17e6b8 -EBUILD lean-mode-20220124-r1.ebuild 724 BLAKE2B 09aabba43804b9aa2ad186fc59eae85b06262f3b59d0e50f74054bed24bb7a470b7edae75fc52c9f0050e6c61bdbbe8d23ca66e950f59f16031d04a12623cf1b SHA512 52244e7ef4b0485786ef806bf06614bf551b7ead70631628550c4e2307ad5ad1c298a629eb421964957be99fb16b38ac0b91467a47e4846ed442f38ff720a27c -EBUILD lean-mode-20220501.ebuild 724 BLAKE2B 32eddbd99cada0f58f6e3bfb4e31a24b51ab3490e7b8f529c434d761750bef70fd87727fc0748a958ffd9561a1c79b5968ae141ab3a965d63b97f6749d521b10 SHA512 53a1f251fe7adc0cefc2b1e7591f676ef1962f7f213ace53ad9f159520ba6ffaaaf8bf4579e45be0203148b51e7d6b725a494268ded729a30a032b655473fe33 +DIST lean-mode-0_p20230611.tar.gz 46798 BLAKE2B b7d858979fc40f066eb8a212acf0f18a7a95b41df29924b7ca1b34e502db3b5966ddd3e83a7bf37cce0a836819ee46f18678244b00d6e951de83694a637789cf SHA512 f7b336887acd99306f9d50096dd3fda707d640be9e96f6211d826a4ba477c2a16b591bd9529456ce4a763700eed06f23b06e505120935dc7b9066ac530ba4231 +EBUILD lean-mode-0_p20230611.ebuild 845 BLAKE2B 862b841ed27ad5224fd170714586f4aa37fe5dea2f375a54ca9a825fd7c5070e6201c6c26c5223fe7fa322bbfb00e2b8cfb24e331a0e5de2db089c946465c579 SHA512 1528afc74957a52bef1aa3edf3134abeee42e3cb4e7bd10fc5d02721ce1a23f031db5c2323d1a5aec5e5e2899200a673098781ab90c75654b6e7c07e544b8a8b MISC metadata.xml 642 BLAKE2B 7871c2b174dfa7a9b9c7ef917276de3c13d217842154bfa0b5097e380a10984281fa885a8348a1c201731cac8a95fc44ba596713877c8fa4c70c39c66da010bd SHA512 81f02f626d23e32cc2acf9bf72a3e7c372063c17554afee69a0ceb8aeeecbaac11959b0458a636ad6c7b493cfb6cf3c223e922e5a09dfb0c0213972dd244bf75 diff --git a/app-emacs/lean-mode/lean-mode-20211220-r1.ebuild b/app-emacs/lean-mode/lean-mode-0_p20230611.ebuild index 350757e6cf09..2ded0d08f2c2 100644 --- a/app-emacs/lean-mode/lean-mode-20211220-r1.ebuild +++ b/app-emacs/lean-mode/lean-mode-0_p20230611.ebuild @@ -3,19 +3,24 @@ EAPI=8 -[[ ${PV} == 20211220 ]] && COMMIT=a4205749d20a09871f0951c34f919d4ee5fbdb55 - inherit elisp DESCRIPTION="Emacs mode for the Lean 3 theorem prover" HOMEPAGE="https://github.com/leanprover/lean-mode/" -SRC_URI="https://github.com/leanprover/${PN}/archive/${COMMIT}.tar.gz - -> ${P}.tar.gz" -S="${WORKDIR}"/${PN}-${COMMIT} + +if [[ ${PV} == *9999* ]] ; then + inherit git-r3 + EGIT_REPO_URI="https://github.com/leanprover/${PN}.git" +else + [[ ${PV} == *_p20230611 ]] && COMMIT=99d6a34dc5b12f6e996e9217fa9f6fe4a6af037a + SRC_URI="https://github.com/leanprover/${PN}/archive/${COMMIT}.tar.gz + -> ${P}.tar.gz" + S="${WORKDIR}"/${PN}-${COMMIT} + KEYWORDS="~amd64" +fi LICENSE="GPL-2+" SLOT="0" -KEYWORDS="~amd64" BDEPEND=" >=app-emacs/dash-2.18.1 diff --git a/app-emacs/lean-mode/lean-mode-20220124-r1.ebuild b/app-emacs/lean-mode/lean-mode-20220124-r1.ebuild deleted file mode 100644 index ebe92baae289..000000000000 --- a/app-emacs/lean-mode/lean-mode-20220124-r1.ebuild +++ /dev/null @@ -1,33 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -[[ ${PV} == 20220124 ]] && COMMIT=c1c68cc946eb31b6ba8faefdceffce1f77ca52df - -inherit elisp - -DESCRIPTION="Emacs mode for the Lean 3 theorem prover" -HOMEPAGE="https://github.com/leanprover/lean-mode/" -SRC_URI="https://github.com/leanprover/${PN}/archive/${COMMIT}.tar.gz - -> ${P}.tar.gz" -S="${WORKDIR}"/${PN}-${COMMIT} - -LICENSE="GPL-2+" -SLOT="0" -KEYWORDS="~amd64" - -BDEPEND=" - >=app-emacs/dash-2.18.1 - >=app-emacs/f-0.19.0 - >=app-emacs/flycheck-32 - >=app-emacs/s-1.10.0 -" -RDEPEND=" - ${BDEPEND} - sci-mathematics/lean:0/3 -" - -DOCS=( README.md ) -ELISP_REMOVE="company-lean.el helm-lean.el" -SITEFILE="50${PN}-gentoo.el" diff --git a/app-emacs/lean-mode/lean-mode-20220501.ebuild b/app-emacs/lean-mode/lean-mode-20220501.ebuild deleted file mode 100644 index 408aff7adec4..000000000000 --- a/app-emacs/lean-mode/lean-mode-20220501.ebuild +++ /dev/null @@ -1,33 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -[[ ${PV} == 20220501 ]] && COMMIT=362bc6fa3efb1874c525ed6b4b6f24f76af22596 - -inherit elisp - -DESCRIPTION="Emacs mode for the Lean 3 theorem prover" -HOMEPAGE="https://github.com/leanprover/lean-mode/" -SRC_URI="https://github.com/leanprover/${PN}/archive/${COMMIT}.tar.gz - -> ${P}.tar.gz" -S="${WORKDIR}"/${PN}-${COMMIT} - -LICENSE="GPL-2+" -SLOT="0" -KEYWORDS="~amd64" - -BDEPEND=" - >=app-emacs/dash-2.18.1 - >=app-emacs/f-0.19.0 - >=app-emacs/flycheck-32 - >=app-emacs/s-1.10.0 -" -RDEPEND=" - ${BDEPEND} - sci-mathematics/lean:0/3 -" - -DOCS=( README.md ) -ELISP_REMOVE="company-lean.el helm-lean.el" -SITEFILE="50${PN}-gentoo.el" |