bug#56121: closed ([PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.)

[GNU bug Tracking System]

Your message dated Wed, 22 Jun 2022 08:14:59 +0200
with message-id <87letpmdgc.fsf@nicolasgoaziou.fr>
and subject line Re: [bug#56121] [PATCH]: gnu: emacs-idris-mode: Update to 
1.0-1-9bc7697.
has caused the debbugs.gnu.org bug report #56121,
regarding [PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
56121: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56121
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697. Date: Tue, 21 Jun 2022 19:17:11 +0800 User-agent: mu4e 1.6.11; emacs 28.1

signature.asc
Description: PGP signature

>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

-- 
Retrieve my PGP public key:

  gpg --recv-keys D47A9C8B2AE3905B563D9135BE42B352A9F6821F

Zihao

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#56121] [PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.
>
>
>
>
> Date: 
>
> Wed, 22 Jun 2022 08:14:59 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux)
>
>
>
>
> Hello,
>
> Zhu Zihao <all_but_last@163.com> writes:
>
> > Subject: [PATCH] gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.
>
> Applied. Thank you.
>
> Regards,
> -- 
> Nicolas Goaziou
>
>
> --- End Message ---