[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/01: gnu: emacs-idris-mode: Fix source hash.
From: |
Arun Isaac |
Subject: |
01/01: gnu: emacs-idris-mode: Fix source hash. |
Date: |
Tue, 17 Apr 2018 10:33:42 -0400 (EDT) |
arunisaac pushed a commit to branch master
in repository guix.
commit a05a637ccc52e0057150678492c829ddc30f8163
Author: Maxim Cournoyer <address@hidden>
Date: Mon Mar 19 21:13:33 2018 -0400
gnu: emacs-idris-mode: Fix source hash.
* gnu/packages/emacs.scm (emacs-idris-mode)[source]: Fix hash.
Signed-off-by: Arun Isaac <address@hidden>
---
gnu/packages/emacs.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/emacs.scm b/gnu/packages/emacs.scm
index d94d92f..ba75b29 100644
--- a/gnu/packages/emacs.scm
+++ b/gnu/packages/emacs.scm
@@ -6713,7 +6713,7 @@ key. Optionally, a mouse pop-up can be added by binding
version ".tar"))
(sha256
(base32
- "0ld4kfwnyyhlsnj5f6cbn4is4mpxdqalk2aifkw02r00mbr9n294"))))
+ "02r1qqsxi6qk7q4cj6a6pygbj856dcw9vcmhfh0ib92j41v77q6y"))))
(build-system emacs-build-system)
(propagated-inputs
`(("emacs-prop-menu" ,emacs-prop-menu)))