diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-05-20 04:30:45 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-05-20 04:45:42 +0200 |
| commit | 3db907f000ee17ce8bb55c200c59f7cc8e8eceb8 (patch) | |
| tree | 51fa1d91793ef8817495f9bb07818151f6d2e2bc /gnu/packages | |
| parent | ff281acce213dd0d4a3cfd84dc644ff6c5e89061 (diff) | |
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.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/emacs-xyz.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 93a3b3f7c9..e3da3fc45c 100644 --- 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))) |