[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
52/295: gnu: emacs-idris-mode: Update to 1.0.
From: |
guix-commits |
Subject: |
52/295: gnu: emacs-idris-mode: Update to 1.0. |
Date: |
Mon, 27 Jul 2020 06:25:18 -0400 (EDT) |
dannym pushed a commit to branch wip-desktop
in repository guix.
commit 1e7acfb8ab7fa7c8e8c510a5f0dd64d9618cde02
Author: Eric Bavier <bavier@member.fsf.org>
AuthorDate: Sat Jun 27 23:01:39 2020 -0500
gnu: emacs-idris-mode: Update to 1.0.
* gnu/packages/emacs-xyz.scm (emacs-idris-mode): Update to 1.0.
[description]: Mention compatibility with Idris 1.
---
gnu/packages/emacs-xyz.scm | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index 8b00ebe..d62f120 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -75,6 +75,7 @@
;;; Copyright © 2020 Marcin Karpezo <sirmacik@wioo.waw.pl>
;;; Copyright © 2020 Fredrik Salomonsson <plattfot@gmail.com>
;;; Copyright © 2020 Ryan Desfosses <rdes@protonmail.com>
+;;; Copyright © 2020 Eric Bavier <bavier@posteo.net>
;;;
;;; 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+)))
(define-public emacs-idris-mode
- (let ((commit "acc8835449475d7cd205aba213fdd3d41c38ba40")
+ (let ((commit "b77eadd8ac2048d5c882b4464bd9673e45dd6a59")
(revision "0"))
(package
(name "emacs-idris-mode")
- (version (git-version "0.9.19" revision commit))
+ (version (git-version "1.0" revision commit))
(source
(origin
(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))
(sha256
(base32
- "0n9xbknc68id0mf8hbfmawi8qpvrs47ix807sk9ffv2g3ik32kk6"))))
+ "1v8av6jza1j00ln75zjwaca0vmmv0fhhhi94p84rlfzgzykyb9g1"))))
(build-system emacs-build-system)
(propagated-inputs
`(("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")
(synopsis "Major mode for editing Idris code")
(description
- "This is an Emacs mode for editing Idris code. It requires the latest
-version of Idris, and some features may rely on the latest Git version of
-Idris.")
+ "This is an Emacs mode for editing Idris code. It is compatible with
+the latest versions of Idris 1.")
(license license:gpl3+))))
(define-public emacs-browse-at-remote
- 149/295: gnu: gstreamer: Update package definition., (continued)
- 149/295: gnu: gstreamer: Update package definition., guix-commits, 2020/07/27
- 150/295: gnu: Add libvisual., guix-commits, 2020/07/27
- 151/295: gnu: Add libvisual-plugins., guix-commits, 2020/07/27
- 128/295: gnu: enchant-1.6: Update package definition., guix-commits, 2020/07/27
- 132/295: gnu: gcab: Update to 1.4., guix-commits, 2020/07/27
- 137/295: gnu: Add sysprof., guix-commits, 2020/07/27
- 154/295: gnu: Add nanomsg., guix-commits, 2020/07/27
- 143/295: gnu: Add esound., guix-commits, 2020/07/27
- 136/295: gnu: geoclue: Update to 2.5.6., guix-commits, 2020/07/27
- 155/295: gnu: Add nng., guix-commits, 2020/07/27
- 52/295: gnu: emacs-idris-mode: Update to 1.0.,
guix-commits <=
- 50/295: gnu: r-openssl: Update to 1.4.2., guix-commits, 2020/07/27
- 55/295: gnu: Add rust-hmac-0.7., guix-commits, 2020/07/27
- 49/295: gnu: r-roxygen2: Update to 7.1.1., guix-commits, 2020/07/27
- 60/295: gnu: emacs-nov-el: Use version tag instead of commit., guix-commits, 2020/07/27
- 56/295: gnu: Add rust-pbkdf2-0.3., guix-commits, 2020/07/27
- 61/295: gnu: emacs-nov-el: Update to 0.3.1., guix-commits, 2020/07/27
- 65/295: .gitignore: Ignore 'etc/committer.scm'., guix-commits, 2020/07/27
- 63/295: doc: cookbook: Update entry about getting substitutes through Tor., guix-commits, 2020/07/27
- 68/295: gnu: Add rust-block-padding-0.2., guix-commits, 2020/07/27
- 71/295: gnu: Add rust-generic-array-0.14., guix-commits, 2020/07/27