branch master updated: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

ngz pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new 06ec07dff5 gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.
06ec07dff5 is described below

commit 06ec07dff54b33ca8e9333eaae57f136caa15f5d
Author: Zhu Zihao <all_but_last@163.com>
AuthorDate: Tue Jun 21 19:17:11 2022 +0800

    gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.
    
    * gnu/packages/emacs-xyz.scm (emacs-idris-mode): Update to 1.0-1-9bc7697.
    
    Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
---
 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 e1bab82bc4..196f4d4bbd 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -16389,8 +16389,8 @@ key.  Optionally, a mouse pop-up can be added by binding
     (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))
@@ -16403,7 +16403,7 @@ key.  Optionally, a mouse pop-up can be added by binding
          (file-name (git-file-name name commit))
          (sha256
           (base32
-           "1v8av6jza1j00ln75zjwaca0vmmv0fhhhi94p84rlfzgzykyb9g1"))))
+           "1d1f7kx0fw632js7qd1sra5wbpwyamcqs5wpzhyynmr5ybb0vyl7"))))
       (build-system emacs-build-system)
       (propagated-inputs
        (list emacs-prop-menu))