From: Zhu Zihao <all_but_last@163.com>
To: 56121@debbugs.gnu.org
Subject: [bug#56121] [PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.
Date: Tue, 21 Jun 2022 19:17:11 +0800 [thread overview]
Message-ID: <86k09ap8o5.fsf@163.com> (raw)
[-- Attachment #1.1: Type: text/plain, Size: 0 bytes --]
[-- Attachment #1.2: signature.asc --]
[-- Type: application/pgp-signature, Size: 255 bytes --]
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: 0001-gnu-emacs-idris-mode-Update-to-1.0-1-9bc7697.patch --]
[-- Type: text/x-patch, Size: 1341 bytes --]
From e73064e70d5468b6209033d992b40017d9ba0aa3 Mon Sep 17 00:00:00 2001
From: Zhu Zihao <all_but_last@163.com>
Date: Tue, 21 Jun 2022 19:12:23 +0800
Subject: [PATCH] gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.
* gnu/packages/emacs-xyz.scm (emacs-idris-mode): Update to 1.0-1-9bc7697.
---
gnu/packages/emacs-xyz.scm | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index b8c2729633..4296cfc0ae 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -16388,8 +16388,8 @@ (define-public emacs-prop-menu
(license license:gpl3+)))
(define-public emacs-idris-mode
- (let ((commit "b77eadd8ac2048d5c882b4464bd9673e45dd6a59")
- (revision "0"))
+ (let ((commit "9bc7697406f719258d93835df3c1761efbfecaa7")
+ (revision "1"))
(package
(name "emacs-idris-mode")
(version (git-version "1.0" revision commit))
@@ -16402,7 +16402,7 @@ (define-public emacs-idris-mode
(file-name (git-file-name name commit))
(sha256
(base32
- "1v8av6jza1j00ln75zjwaca0vmmv0fhhhi94p84rlfzgzykyb9g1"))))
+ "1d1f7kx0fw632js7qd1sra5wbpwyamcqs5wpzhyynmr5ybb0vyl7"))))
(build-system emacs-build-system)
(propagated-inputs
(list emacs-prop-menu))
--
2.36.1
[-- Attachment #3: Type: text/plain, Size: 100 bytes --]
--
Retrieve my PGP public key:
gpg --recv-keys D47A9C8B2AE3905B563D9135BE42B352A9F6821F
Zihao
next reply other threads:[~2022-06-21 11:21 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-06-21 11:17 Zhu Zihao [this message]
2022-06-22 6:14 ` bug#56121: [PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697 Nicolas Goaziou
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
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=86k09ap8o5.fsf@163.com \
--to=all_but_last@163.com \
--cc=56121@debbugs.gnu.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.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).