ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-25 05:48:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

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

Browse source 
Only file modification times have changed.

* gnu/packages/emacs-xyz.scm (emacs-idris-mode)[source]: Update sha256.
This commit is contained in:
Tobias Geerinckx-Rice 2019-05-17 02:02:11 +02:00
parent 2fb31fd6a2
commit 782e171380
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
gnu/packages/emacs-xyz.scm
View file

@ -8365,7 +8365,7 @@ (define-public emacs-idris-mode
version ".tar")) version ".tar"))
(sha256 (sha256
(base32 (base32
"02r1qqsxi6qk7q4cj6a6pygbj856dcw9vcmhfh0ib92j41v77q6y")))) "03h725827m0ny5c4saq7sd9f10v13xgi9l14vjybqqhyk2aqkpd3"))))
(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)))