[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

02/02: gnu: emacs-idris-mode: Update source hash.

From: guix-commits
Subject: 02/02: gnu: emacs-idris-mode: Update source hash.
Date: Sun, 19 May 2019 22:46:08 -0400 (EDT)

nckx pushed a commit to branch master
in repository guix.

commit 3db907f000ee17ce8bb55c200c59f7cc8e8eceb8
Author: Tobias Geerinckx-Rice <address@hidden>
Date:   Mon May 20 04:30:45 2019 +0200

    gnu: emacs-idris-mode: Update source hash.
    The source tarball was modified in place.  Only file metadata —
    specifically: time stamps — differ.
    * gnu/packages/emacs-xyz.scm (emacs-idris-mode)[source]: Update sha256.
 gnu/packages/emacs-xyz.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index 93a3b3f..e3da3fc 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -8365,7 +8365,7 @@ key.  Optionally, a mouse pop-up can be added by binding
              version ".tar"))
-         "03h725827m0ny5c4saq7sd9f10v13xgi9l14vjybqqhyk2aqkpd3"))))
+         "16hl2s22l3wc9drnwzw6hn7xrm49ml9lii0s6k218dgahdgsncmf"))))
     (build-system emacs-build-system)
      `(("emacs-prop-menu" ,emacs-prop-menu)))

reply via email to

[Prev in Thread] Current Thread [Next in Thread]