public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Maciej Barć" <xgqt@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: app-emacs/lean-mode/
Date: Sun,  5 Jun 2022 22:57:17 +0000 (UTC)	[thread overview]
Message-ID: <1654469835.f507414bacf6077d0fff4371a0ca268f111f1fc2.xgqt@gentoo> (raw)

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"


             reply	other threads:[~2022-06-05 22:57 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-06-05 22:57 Maciej Barć [this message]
  -- strict thread matches above, loose matches on Subject: below --
2025-01-02 21:49 [gentoo-commits] repo/gentoo:master commit in: app-emacs/lean-mode/ Maciej Barć
2023-06-21 21:38 Maciej Barć
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-03-01 22:31 Maciej Barć
2022-01-31  1:48 Maciej Barć

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1654469835.f507414bacf6077d0fff4371a0ca268f111f1fc2.xgqt@gentoo \
    --to=xgqt@gentoo.org \
    --cc=gentoo-commits@lists.gentoo.org \
    --cc=gentoo-dev@lists.gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox