me/guix
Archived
1
0
Fork 0
Code Activity

gnu: emacs-idris-mode: Update to 1.0.

Browse source 
* gnu/packages/emacs-xyz.scm (emacs-idris-mode): Update to 1.0.
[description]: Mention compatibility with Idris 1.
This commit is contained in:
Eric Bavier 2020-06-27 23:01:39 -05:00
parent ea33de6d70
commit 1e7acfb8ab
No known key found for this signature in database
GPG key ID: FD73CAC719D32566
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -75,6 +75,7 @@
;;; Copyright © 2020 Marcin Karpezo <sirmacik@wioo.waw.pl> ;;; Copyright © 2020 Marcin Karpezo <sirmacik@wioo.waw.pl>
;;; Copyright © 2020 Fredrik Salomonsson <plattfot@gmail.com> ;;; Copyright © 2020 Fredrik Salomonsson <plattfot@gmail.com>
;;; Copyright © 2020 Ryan Desfosses <rdes@protonmail.com> ;;; Copyright © 2020 Ryan Desfosses <rdes@protonmail.com>
;;; Copyright © 2020 Eric Bavier <bavier@posteo.net>
;;; ;;;
;;; This file is part of GNU Guix. ;;; This file is part of GNU Guix.
;;; ;;;
@ -11709,11 +11710,11 @@ 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 "acc8835449475d7cd205aba213fdd3d41c38ba40") (let ((commit "b77eadd8ac2048d5c882b4464bd9673e45dd6a59")
(revision "0")) (revision "0"))
(package (package
(name "emacs-idris-mode") (name "emacs-idris-mode")
(version (git-version "0.9.19" revision commit)) (version (git-version "1.0" revision commit))
(source (source
(origin (origin
(method git-fetch) (method git-fetch)
@ -11723,7 +11724,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
"0n9xbknc68id0mf8hbfmawi8qpvrs47ix807sk9ffv2g3ik32kk6")))) "1v8av6jza1j00ln75zjwaca0vmmv0fhhhi94p84rlfzgzykyb9g1"))))
(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)))
@ -11731,9 +11732,8 @@ key. Optionally, a mouse pop-up can be added by binding
"https://github.com/idris-hackers/idris-mode") "https://github.com/idris-hackers/idris-mode")
(synopsis "Major mode for editing Idris code") (synopsis "Major mode for editing Idris code")
(description (description
"This is an Emacs mode for editing Idris code. It requires the latest "This is an Emacs mode for editing Idris code. It is compatible with
version of Idris, and some features may rely on the latest Git version of the latest versions of Idris 1.")
Idris.")
(license license:gpl3+)))) (license license:gpl3+))))
(define-public emacs-browse-at-remote (define-public emacs-browse-at-remote