summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZhu Zihao <all_but_last@163.com>2022-06-21 19:17:11 +0800
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2022-06-22 08:14:32 +0200
commit06ec07dff54b33ca8e9333eaae57f136caa15f5d (patch)
tree532bfdbfce4575c3b5e69e1ededae64b04f4f46f
parentc1097a7d3dddde7cf8cc8356c80185da947fc592 (diff)
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>
-rw-r--r--gnu/packages/emacs-xyz.scm6
1 files 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))