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(-)
@@ -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