gnu: emacs-idris-mode: Fix source hash.

* gnu/packages/emacs.scm (emacs-idris-mode)[source]: Fix hash.

Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
This commit is contained in:
Maxim Cournoyer 2018-03-19 21:13:33 -04:00 committed by Arun Isaac
parent 8d3dda021a
commit a05a637ccc
No known key found for this signature in database
GPG key ID: 2E25EE8B61802BB3

View file

@ -6713,7 +6713,7 @@ (define-public emacs-idris-mode
version ".tar")) version ".tar"))
(sha256 (sha256
(base32 (base32
"0ld4kfwnyyhlsnj5f6cbn4is4mpxdqalk2aifkw02r00mbr9n294")))) "02r1qqsxi6qk7q4cj6a6pygbj856dcw9vcmhfh0ib92j41v77q6y"))))
(build-system emacs-build-system) (build-system emacs-build-system)
(propagated-inputs (propagated-inputs
`(("emacs-prop-menu" ,emacs-prop-menu))) `(("emacs-prop-menu" ,emacs-prop-menu)))