public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] repo/gentoo:master commit in: app-emacs/lean-mode/
@ 2022-01-31  1:48 Maciej Barć
  0 siblings, 0 replies; 8+ messages in thread
From: Maciej Barć @ 2022-01-31  1:48 UTC (permalink / raw
  To: gentoo-commits

commit:     fd99c873af49d7592e15c0f06a2644cca602220f
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Jan 31 01:47:53 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Jan 31 01:47:58 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fd99c873

app-emacs/lean-mode: bump to 20220124

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 app-emacs/lean-mode/Manifest                  |  1 +
 app-emacs/lean-mode/lean-mode-20220124.ebuild | 38 +++++++++++++++++++++++++++
 2 files changed, 39 insertions(+)

diff --git a/app-emacs/lean-mode/Manifest b/app-emacs/lean-mode/Manifest
index 628e448dfb9f..f53b7ad51d16 100644
--- a/app-emacs/lean-mode/Manifest
+++ b/app-emacs/lean-mode/Manifest
@@ -1 +1,2 @@
 DIST lean-mode-20211220.tar.gz 46406 BLAKE2B ff7663ae41befed9ce30aeeb0462e6877b827367823e97330b18c741db76162f49b0ce0dca58585892d173e91e290d155320f97416ff4306958dd38f1e452e83 SHA512 23f1d24a4ffdcbff0266cf6e3fd6ddefcd6f380ecab6e21a73cfcbb2a281200f3c22482a19b97988af316a3e206ab3069abf4eb3d45a9ccff7e0f18018b1dab5
+DIST lean-mode-20220124.tar.gz 46725 BLAKE2B 3f1f31cd6005570439d609f3cf9565f5adbd124772264ccc301bf8f9dda23d0b023e0afc703cfc572c3faee3498315852873effa3963203d6567ed029a1e14ed SHA512 292193a83847e034625d60825eec669b3d26591fab9e93448fc8e685935db5bfbb3417ae4e8d32facead40d02031b67f15dbaa52f7214b70343e7e677aa3cd6a

diff --git a/app-emacs/lean-mode/lean-mode-20220124.ebuild b/app-emacs/lean-mode/lean-mode-20220124.ebuild
new file mode 100644
index 000000000000..3420a309e515
--- /dev/null
+++ b/app-emacs/lean-mode/lean-mode-20220124.ebuild
@@ -0,0 +1,38 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=c1c68cc946eb31b6ba8faefdceffce1f77ca52df
+NEED_EMACS=24.3
+
+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/${H}.tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-${H}"
+
+LICENSE="GPL-2+"
+SLOT="0"
+KEYWORDS="~amd64"
+
+DEPEND="
+	>=app-emacs/dash-2.18.1
+	>=app-emacs/f-0.19.0
+	>=app-emacs/flycheck-32
+	>=app-emacs/s-1.10.0
+"
+RDEPEND="
+	${DEPEND}
+	sci-mathematics/lean:0/3
+"
+
+DOCS=( README.md )
+SITEFILE="50${PN}-gentoo.el"
+
+src_prepare() {
+	rm {company,helm}-lean.el || die
+
+	elisp_src_prepare
+}


^ permalink raw reply related	[flat|nested] 8+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-emacs/lean-mode/
@ 2022-03-01 22:31 Maciej Barć
  0 siblings, 0 replies; 8+ messages in thread
From: Maciej Barć @ 2022-03-01 22:31 UTC (permalink / raw
  To: gentoo-commits

commit:     5e4d9abcfadba411f766338d65b704598083d932
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Mar  1 22:30:59 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Mar  1 22:30:59 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5e4d9abc

app-emacs/lean-mode: use ELISP_REMOVE

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 app-emacs/lean-mode/lean-mode-20211220.ebuild | 7 +------
 app-emacs/lean-mode/lean-mode-20220124.ebuild | 7 +------
 2 files changed, 2 insertions(+), 12 deletions(-)

diff --git a/app-emacs/lean-mode/lean-mode-20211220.ebuild b/app-emacs/lean-mode/lean-mode-20211220.ebuild
index c7be99f3162a..493c3005ffb7 100644
--- a/app-emacs/lean-mode/lean-mode-20211220.ebuild
+++ b/app-emacs/lean-mode/lean-mode-20211220.ebuild
@@ -29,10 +29,5 @@ RDEPEND="
 "
 
 DOCS=( README.md )
+ELISP_REMOVE="company-lean.el helm-lean.el"
 SITEFILE="50${PN}-gentoo.el"
-
-src_prepare() {
-	rm {company,helm}-lean.el || die
-
-	elisp_src_prepare
-}

diff --git a/app-emacs/lean-mode/lean-mode-20220124.ebuild b/app-emacs/lean-mode/lean-mode-20220124.ebuild
index 3420a309e515..fab38a5b5d39 100644
--- a/app-emacs/lean-mode/lean-mode-20220124.ebuild
+++ b/app-emacs/lean-mode/lean-mode-20220124.ebuild
@@ -29,10 +29,5 @@ RDEPEND="
 "
 
 DOCS=( README.md )
+ELISP_REMOVE="company-lean.el helm-lean.el"
 SITEFILE="50${PN}-gentoo.el"
-
-src_prepare() {
-	rm {company,helm}-lean.el || die
-
-	elisp_src_prepare
-}


^ permalink raw reply related	[flat|nested] 8+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-emacs/lean-mode/
@ 2022-06-05 22:57 Maciej Barć
  0 siblings, 0 replies; 8+ messages in thread
From: Maciej Barć @ 2022-06-05 22:57 UTC (permalink / raw
  To: gentoo-commits

commit:     f507414bacf6077d0fff4371a0ca268f111f1fc2
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Jun  5 22:10:25 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Jun  5 22:57:15 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f507414b

app-emacs/lean-mode: bump to 20220501

2022.05.01 snapshot

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 app-emacs/lean-mode/Manifest                  |  1 +
 app-emacs/lean-mode/lean-mode-20220501.ebuild | 33 +++++++++++++++++++++++++++
 2 files changed, 34 insertions(+)

diff --git a/app-emacs/lean-mode/Manifest b/app-emacs/lean-mode/Manifest
index f53b7ad51d16..333e363d5b14 100644
--- a/app-emacs/lean-mode/Manifest
+++ b/app-emacs/lean-mode/Manifest
@@ -1,2 +1,3 @@
 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

diff --git a/app-emacs/lean-mode/lean-mode-20220501.ebuild b/app-emacs/lean-mode/lean-mode-20220501.ebuild
new file mode 100644
index 000000000000..34d78fe6a7fc
--- /dev/null
+++ b/app-emacs/lean-mode/lean-mode-20220501.ebuild
@@ -0,0 +1,33 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=362bc6fa3efb1874c525ed6b4b6f24f76af22596
+NEED_EMACS=24.3
+
+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/${H}.tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-${H}
+
+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"


^ permalink raw reply related	[flat|nested] 8+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-emacs/lean-mode/
@ 2022-06-05 22:57 Maciej Barć
  0 siblings, 0 replies; 8+ messages in thread
From: Maciej Barć @ 2022-06-05 22:57 UTC (permalink / raw
  To: gentoo-commits

commit:     1bc047d41486e4b9e4d21ed4c86a08dcd7fecae8
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Jun  5 22:07:44 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Jun  5 22:57:14 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1bc047d4

app-emacs/lean-mode: DEPEND -> BDEPEND

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 .../{lean-mode-20211220.ebuild => lean-mode-20211220-r1.ebuild}       | 4 ++--
 .../{lean-mode-20220124.ebuild => lean-mode-20220124-r1.ebuild}       | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/app-emacs/lean-mode/lean-mode-20211220.ebuild b/app-emacs/lean-mode/lean-mode-20211220-r1.ebuild
similarity index 96%
rename from app-emacs/lean-mode/lean-mode-20211220.ebuild
rename to app-emacs/lean-mode/lean-mode-20211220-r1.ebuild
index 493c3005ffb7..d91061721bf4 100644
--- a/app-emacs/lean-mode/lean-mode-20211220.ebuild
+++ b/app-emacs/lean-mode/lean-mode-20211220-r1.ebuild
@@ -17,14 +17,14 @@ LICENSE="GPL-2+"
 SLOT="0"
 KEYWORDS="~amd64"
 
-DEPEND="
+BDEPEND="
 	>=app-emacs/dash-2.18.1
 	>=app-emacs/f-0.19.0
 	>=app-emacs/flycheck-32
 	>=app-emacs/s-1.10.0
 "
 RDEPEND="
-	${DEPEND}
+	${BDEPEND}
 	sci-mathematics/lean:0/3
 "
 

diff --git a/app-emacs/lean-mode/lean-mode-20220124.ebuild b/app-emacs/lean-mode/lean-mode-20220124-r1.ebuild
similarity index 96%
rename from app-emacs/lean-mode/lean-mode-20220124.ebuild
rename to app-emacs/lean-mode/lean-mode-20220124-r1.ebuild
index fab38a5b5d39..b24391f06ca8 100644
--- a/app-emacs/lean-mode/lean-mode-20220124.ebuild
+++ b/app-emacs/lean-mode/lean-mode-20220124-r1.ebuild
@@ -17,14 +17,14 @@ LICENSE="GPL-2+"
 SLOT="0"
 KEYWORDS="~amd64"
 
-DEPEND="
+BDEPEND="
 	>=app-emacs/dash-2.18.1
 	>=app-emacs/f-0.19.0
 	>=app-emacs/flycheck-32
 	>=app-emacs/s-1.10.0
 "
 RDEPEND="
-	${DEPEND}
+	${BDEPEND}
 	sci-mathematics/lean:0/3
 "
 


^ permalink raw reply related	[flat|nested] 8+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-emacs/lean-mode/
@ 2023-06-21 21:38 Maciej Barć
  0 siblings, 0 replies; 8+ messages in thread
From: Maciej Barć @ 2023-06-21 21:38 UTC (permalink / raw
  To: gentoo-commits

commit:     e59eeac02351b1affb2f8b2e6c440f180c09fa81
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 21 20:14:39 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Jun 21 21:38:35 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e59eeac0

app-emacs/lean-mode: bump to 0_p20230611

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 app-emacs/lean-mode/Manifest                     |  1 +
 app-emacs/lean-mode/lean-mode-0_p20230611.ebuild | 38 ++++++++++++++++++++++++
 2 files changed, 39 insertions(+)

diff --git a/app-emacs/lean-mode/Manifest b/app-emacs/lean-mode/Manifest
index b04d0cfdd9f7..f7018564e8cd 100644
--- a/app-emacs/lean-mode/Manifest
+++ b/app-emacs/lean-mode/Manifest
@@ -1 +1,2 @@
+DIST lean-mode-0_p20230611.tar.gz 46798 BLAKE2B b7d858979fc40f066eb8a212acf0f18a7a95b41df29924b7ca1b34e502db3b5966ddd3e83a7bf37cce0a836819ee46f18678244b00d6e951de83694a637789cf SHA512 f7b336887acd99306f9d50096dd3fda707d640be9e96f6211d826a4ba477c2a16b591bd9529456ce4a763700eed06f23b06e505120935dc7b9066ac530ba4231
 DIST lean-mode-20220501.tar.gz 46795 BLAKE2B 1d1024f8eb29f787c26368945086d61d06375ee675379833856b72fd47b6fb35e2b24a4dc6d2bb1cc333fe8fc4ed760e13a1e6978e539a994d1907ce774761b6 SHA512 131d71f863e59a0cdfd5eeab015e9e9869e4edd87b1cb45d5864aa13858aac5d8b05843a82a38db9a6e27fe6d54633bdb473509ab9ce179dc216a3fd8f89ad30

diff --git a/app-emacs/lean-mode/lean-mode-0_p20230611.ebuild b/app-emacs/lean-mode/lean-mode-0_p20230611.ebuild
new file mode 100644
index 000000000000..2ded0d08f2c2
--- /dev/null
+++ b/app-emacs/lean-mode/lean-mode-0_p20230611.ebuild
@@ -0,0 +1,38 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit elisp
+
+DESCRIPTION="Emacs mode for the Lean 3 theorem prover"
+HOMEPAGE="https://github.com/leanprover/lean-mode/"
+
+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"
+
+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"


^ permalink raw reply related	[flat|nested] 8+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-emacs/lean-mode/
@ 2023-06-21 21:38 Maciej Barć
  0 siblings, 0 replies; 8+ messages in thread
From: Maciej Barć @ 2023-06-21 21:38 UTC (permalink / raw
  To: gentoo-commits

commit:     8d27054960b87842faad5e1353bb10f66f50d943
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 21 20:09:51 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Jun 21 21:38:34 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8d270549

app-emacs/lean-mode: drop old 20220124-r1

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 app-emacs/lean-mode/Manifest                     |  1 -
 app-emacs/lean-mode/lean-mode-20220124-r1.ebuild | 33 ------------------------
 2 files changed, 34 deletions(-)

diff --git a/app-emacs/lean-mode/Manifest b/app-emacs/lean-mode/Manifest
index cb5d333aa343..b04d0cfdd9f7 100644
--- a/app-emacs/lean-mode/Manifest
+++ b/app-emacs/lean-mode/Manifest
@@ -1,2 +1 @@
-DIST lean-mode-20220124.tar.gz 46725 BLAKE2B 3f1f31cd6005570439d609f3cf9565f5adbd124772264ccc301bf8f9dda23d0b023e0afc703cfc572c3faee3498315852873effa3963203d6567ed029a1e14ed SHA512 292193a83847e034625d60825eec669b3d26591fab9e93448fc8e685935db5bfbb3417ae4e8d32facead40d02031b67f15dbaa52f7214b70343e7e677aa3cd6a
 DIST lean-mode-20220501.tar.gz 46795 BLAKE2B 1d1024f8eb29f787c26368945086d61d06375ee675379833856b72fd47b6fb35e2b24a4dc6d2bb1cc333fe8fc4ed760e13a1e6978e539a994d1907ce774761b6 SHA512 131d71f863e59a0cdfd5eeab015e9e9869e4edd87b1cb45d5864aa13858aac5d8b05843a82a38db9a6e27fe6d54633bdb473509ab9ce179dc216a3fd8f89ad30

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"


^ permalink raw reply related	[flat|nested] 8+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-emacs/lean-mode/
@ 2023-06-21 21:38 Maciej Barć
  0 siblings, 0 replies; 8+ messages in thread
From: Maciej Barć @ 2023-06-21 21:38 UTC (permalink / raw
  To: gentoo-commits

commit:     983646ee5474e654bede8df88cc3a7c04ad38296
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 21 20:09:39 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Jun 21 21:38:34 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=983646ee

app-emacs/lean-mode: drop old 20211220-r1

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 app-emacs/lean-mode/Manifest                     |  1 -
 app-emacs/lean-mode/lean-mode-20211220-r1.ebuild | 33 ------------------------
 2 files changed, 34 deletions(-)

diff --git a/app-emacs/lean-mode/Manifest b/app-emacs/lean-mode/Manifest
index 333e363d5b14..cb5d333aa343 100644
--- a/app-emacs/lean-mode/Manifest
+++ b/app-emacs/lean-mode/Manifest
@@ -1,3 +1,2 @@
-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

diff --git a/app-emacs/lean-mode/lean-mode-20211220-r1.ebuild b/app-emacs/lean-mode/lean-mode-20211220-r1.ebuild
deleted file mode 100644
index 350757e6cf09..000000000000
--- a/app-emacs/lean-mode/lean-mode-20211220-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} == 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}
-
-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"


^ permalink raw reply related	[flat|nested] 8+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: app-emacs/lean-mode/
@ 2023-06-21 21:38 Maciej Barć
  0 siblings, 0 replies; 8+ messages in thread
From: Maciej Barć @ 2023-06-21 21:38 UTC (permalink / raw
  To: gentoo-commits

commit:     8cd51272c6e7ffa7eb450a06610e05293f22e562
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 21 20:15:02 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Jun 21 21:38:35 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8cd51272

app-emacs/lean-mode: drop old 20220501

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 app-emacs/lean-mode/Manifest                  |  1 -
 app-emacs/lean-mode/lean-mode-20220501.ebuild | 33 ---------------------------
 2 files changed, 34 deletions(-)

diff --git a/app-emacs/lean-mode/Manifest b/app-emacs/lean-mode/Manifest
index f7018564e8cd..2ea7824f7063 100644
--- a/app-emacs/lean-mode/Manifest
+++ b/app-emacs/lean-mode/Manifest
@@ -1,2 +1 @@
 DIST lean-mode-0_p20230611.tar.gz 46798 BLAKE2B b7d858979fc40f066eb8a212acf0f18a7a95b41df29924b7ca1b34e502db3b5966ddd3e83a7bf37cce0a836819ee46f18678244b00d6e951de83694a637789cf SHA512 f7b336887acd99306f9d50096dd3fda707d640be9e96f6211d826a4ba477c2a16b591bd9529456ce4a763700eed06f23b06e505120935dc7b9066ac530ba4231
-DIST lean-mode-20220501.tar.gz 46795 BLAKE2B 1d1024f8eb29f787c26368945086d61d06375ee675379833856b72fd47b6fb35e2b24a4dc6d2bb1cc333fe8fc4ed760e13a1e6978e539a994d1907ce774761b6 SHA512 131d71f863e59a0cdfd5eeab015e9e9869e4edd87b1cb45d5864aa13858aac5d8b05843a82a38db9a6e27fe6d54633bdb473509ab9ce179dc216a3fd8f89ad30

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"


^ permalink raw reply related	[flat|nested] 8+ messages in thread
end of thread, other threads:[~2023-06-21 21:38 UTC | newest]

Thread overview: 8+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-06-21 21:38 [gentoo-commits] repo/gentoo:master commit in: app-emacs/lean-mode/ Maciej Barć
  -- strict thread matches above, loose matches on Subject: below --
2023-06-21 21:38 Maciej Barć
2023-06-21 21:38 Maciej Barć
2023-06-21 21:38 Maciej Barć
2022-06-05 22:57 Maciej Barć
2022-06-05 22:57 Maciej Barć
2022-03-01 22:31 Maciej Barć
2022-01-31  1:48 Maciej Barć

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox