[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/04: gnu: emacs-idris-mode: Update source hash.
From: |
guix-commits |
Subject: |
01/04: gnu: emacs-idris-mode: Update source hash. |
Date: |
Thu, 16 May 2019 21:06:06 -0400 (EDT) |
nckx pushed a commit to branch master
in repository guix.
commit 782e1713809e6c54ead68a56cdc4a6f21fc6654f
Author: Tobias Geerinckx-Rice <address@hidden>
Date: Fri May 17 02:02:11 2019 +0200
gnu: emacs-idris-mode: Update source hash.
Only file modification times have changed.
* 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 c7883e3..93a3b3f 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"))
(sha256
(base32
- "02r1qqsxi6qk7q4cj6a6pygbj856dcw9vcmhfh0ib92j41v77q6y"))))
+ "03h725827m0ny5c4saq7sd9f10v13xgi9l14vjybqqhyk2aqkpd3"))))
(build-system emacs-build-system)
(propagated-inputs
`(("emacs-prop-menu" ,emacs-prop-menu)))