unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
* [bug#56121] [PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.
@ 2022-06-21 11:17 Zhu Zihao
  2022-06-22  6:14 ` bug#56121: " Nicolas Goaziou
  0 siblings, 1 reply; 2+ messages in thread
From: Zhu Zihao @ 2022-06-21 11:17 UTC (permalink / raw)
  To: 56121


[-- Attachment #1.1: Type: text/plain, Size: 0 bytes --]



[-- Attachment #1.2: signature.asc --]
[-- Type: application/pgp-signature, Size: 255 bytes --]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: 0001-gnu-emacs-idris-mode-Update-to-1.0-1-9bc7697.patch --]
[-- Type: text/x-patch, Size: 1341 bytes --]

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


[-- Attachment #3: Type: text/plain, Size: 100 bytes --]


-- 
Retrieve my PGP public key:

  gpg --recv-keys D47A9C8B2AE3905B563D9135BE42B352A9F6821F

Zihao

^ permalink raw reply	[flat|nested] 2+ messages in thread

* bug#56121: [PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.
  2022-06-21 11:17 [bug#56121] [PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697 Zhu Zihao
@ 2022-06-22  6:14 ` Nicolas Goaziou
  0 siblings, 0 replies; 2+ messages in thread
From: Nicolas Goaziou @ 2022-06-22  6:14 UTC (permalink / raw)
  To: Zhu Zihao; +Cc: 56121-done

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




^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2022-06-22  6:16 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-21 11:17 [bug#56121] [PATCH]: gnu: emacs-idris-mode: Update to 1.0-1-9bc7697 Zhu Zihao
2022-06-22  6:14 ` bug#56121: " Nicolas Goaziou

Code repositories for project(s) associated with this inbox:

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).