From 782e1713809e6c54ead68a56cdc4a6f21fc6654f Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Fri, 17 May 2019 02:02:11 +0200
Subject: 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 c7883e3507..93a3b3f7c9 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -8365,7 +8365,7 @@ (define-public emacs-idris-mode
              version ".tar"))
        (sha256
         (base32
-         "02r1qqsxi6qk7q4cj6a6pygbj856dcw9vcmhfh0ib92j41v77q6y"))))
+         "03h725827m0ny5c4saq7sd9f10v13xgi9l14vjybqqhyk2aqkpd3"))))
     (build-system emacs-build-system)
     (propagated-inputs
      `(("emacs-prop-menu" ,emacs-prop-menu)))
-- 
cgit v1.2.3