me
/
guix
Archived
1
0
Fork 0
Code

gnu: emacs-idris-mode: Update to 1.0-1-9bc7697. 

* gnu/packages/emacs-xyz.scm (emacs-idris-mode): Update to 1.0-1-9bc7697.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
master
Zhu Zihao 2022-06-21 19:17:11 +08:00 committed by Nicolas Goaziou
parent c1097a7d3d
commit 06ec07dff5
No known key found for this signature in database
GPG Key ID: DA00B4F048E92F2D
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gnu/packages/emacs-xyz.scm
View File

@ -16389,8 +16389,8 @@ key. Optionally, a mouse pop-up can be added by binding
(license license:gpl3+))) (license license:gpl3+)))
(define-public emacs-idris-mode (define-public emacs-idris-mode
(let ((commit "b77eadd8ac2048d5c882b4464bd9673e45dd6a59") (let ((commit "9bc7697406f719258d93835df3c1761efbfecaa7")
(revision "0")) (revision "1"))
(package (package
(name "emacs-idris-mode") (name "emacs-idris-mode")
(version (git-version "1.0" revision commit)) (version (git-version "1.0" revision commit))
@ -16403,7 +16403,7 @@ key. Optionally, a mouse pop-up can be added by binding
(file-name (git-file-name name commit)) (file-name (git-file-name name commit))
(sha256 (sha256
(base32 (base32
"1v8av6jza1j00ln75zjwaca0vmmv0fhhhi94p84rlfzgzykyb9g1")))) "1d1f7kx0fw632js7qd1sra5wbpwyamcqs5wpzhyynmr5ybb0vyl7"))))
(build-system emacs-build-system) (build-system emacs-build-system)
(propagated-inputs (propagated-inputs
(list emacs-prop-menu)) (list emacs-prop-menu))