GNU bug report logs - #56121
[PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 56121 in the body.
You can then email your comments to 56121 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Zhu Zihao <all_but_last <at> 163.com>
To: guix-patches <at> gnu.org
Subject: [PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.
Date: Tue, 21 Jun 2022 19:17:11 +0800

[Message part 1 (text/plain, inline)]

[signature.asc (application/pgp-signature, inline)]

[0001-gnu-emacs-idris-mode-Update-to-1.0-1-9bc7697.patch (text/x-patch, inline)]

From e73064e70d5468b6209033d992b40017d9ba0aa3 Mon Sep 17 00:00:00 2001
From: Zhu Zihao <all_but_last <at> 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

[Message part 4 (text/plain, inline)]

-- 
Retrieve my PGP public key:

  gpg --recv-keys D47A9C8B2AE3905B563D9135BE42B352A9F6821F

Zihao

Message #10 received at 56121-done <at> debbugs.gnu.org (full text, mbox):

From: Nicolas Goaziou <mail <at> nicolasgoaziou.fr>
To: Zhu Zihao <all_but_last <at> 163.com>
Cc: 56121-done <at> debbugs.gnu.org
Subject: Re: [bug#56121] [PATCH]: gnu: emacs-idris-mode: Update to
 1.0-1-9bc7697.
Date: Wed, 22 Jun 2022 08:14:59 +0200

Hello,

Zhu Zihao <all_but_last <at> 163.com> writes:

> Subject: [PATCH] gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.

Applied. Thank you.

Regards,
-- 
Nicolas Goaziou

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.