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.
2019-05-20 04:30:45 +02:00 · 2019-05-20 04:30:45 +02:00 · 3db907f000
parent ff281acce2
commit 3db907f000
1 changed files with 1 additions and 1 deletions
--- 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
-         "03h725827m0ny5c4saq7sd9f10v13xgi9l14vjybqqhyk2aqkpd3"))))
+         "16hl2s22l3wc9drnwzw6hn7xrm49ml9lii0s6k218dgahdgsncmf"))))
    (build-system emacs-build-system)
    (propagated-inputs
     `(("emacs-prop-menu" ,emacs-prop-menu)))