diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-05-17 02:02:11 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-05-17 03:05:54 +0200 |
| commit | 782e1713809e6c54ead68a56cdc4a6f21fc6654f (patch) | |
| tree | 72e7e304f48cdf8082055d0d94646ab82fa1f6be /gnu/packages/emacs-xyz.scm | |
| parent | 2fb31fd6a2d4c9a1fd3ac73ef849a075a9e35766 (diff) | |
gnu: emacs-idris-mode: Update source hash.
Only file modification times have changed.
* gnu/packages/emacs-xyz.scm (emacs-idris-mode)[source]: Update sha256.
Diffstat (limited to 'gnu/packages/emacs-xyz.scm')
| -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 c7883e3507..93a3b3f7c9 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 - "02r1qqsxi6qk7q4cj6a6pygbj856dcw9vcmhfh0ib92j41v77q6y")))) + "03h725827m0ny5c4saq7sd9f10v13xgi9l14vjybqqhyk2aqkpd3")))) (build-system emacs-build-system) (propagated-inputs `(("emacs-prop-menu" ,emacs-prop-menu))) |