[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] gnu: ed: Replace with 1.14.1 [fixes security issues].
From: |
Marius Bakke |
Subject: |
[PATCH] gnu: ed: Replace with 1.14.1 [fixes security issues]. |
Date: |
Thu, 12 Jan 2017 21:13:53 +0100 |
* gnu/packages/ed.scm (ed-1.14.1): New variable.
(ed)[replacement]: New field.
---
gnu/packages/ed.scm | 13 +++++++++++++
1 file changed, 13 insertions(+)
diff --git a/gnu/packages/ed.scm b/gnu/packages/ed.scm
index 3668aac19..c51a4b82f 100644
--- a/gnu/packages/ed.scm
+++ b/gnu/packages/ed.scm
@@ -28,6 +28,7 @@
(define-public ed
(package
(name "ed")
+ (replacement ed-1.14.1)
(version "1.13")
(source (origin
(method url-fetch)
@@ -55,3 +56,15 @@ interactively and via shell scripts. Its method of command
input allows
complex tasks to be performed in an automated way. GNU ed offers several
extensions over the standard utility.")
(license gpl3+)))
+
+(define ed-1.14.1
+ (package (inherit ed)
+ (source
+ (let ((version "1.14.1"))
+ (origin
+ (method url-fetch)
+ (uri (string-append "mirror://gnu/ed/ed-"
+ version ".tar.lz"))
+ (sha256
+ (base32
+ "0ajm69pma7gigddlrq2qi4dsllz9vhm8gqwpkcdagdd2yaw7xfgz")))))))
--
2.11.0
- [PATCH] gnu: ed: Replace with 1.14.1 [fixes security issues].,
Marius Bakke <=
- Re: [PATCH] gnu: ed: Replace with 1.14.1 [fixes security issues]., John Darrington, 2017/01/12
- Re: [PATCH] gnu: ed: Replace with 1.14.1 [fixes security issues]., Leo Famulari, 2017/01/12
- Re: [PATCH] gnu: ed: Replace with 1.14.1 [fixes security issues]., Marius Bakke, 2017/01/12
- Re: [PATCH] gnu: ed: Replace with 1.14.1 [fixes security issues]., Leo Famulari, 2017/01/12
- Re: [PATCH] gnu: ed: Replace with 1.14.1 [fixes security issues]., Marius Bakke, 2017/01/12
- Re: [PATCH] gnu: ed: Replace with 1.14.1 [fixes security issues]., Ludovic Courtès, 2017/01/13
- Re: [PATCH] gnu: ed: Replace with 1.14.1 [fixes security issues]., Marius Bakke, 2017/01/13
- Re: [PATCH] gnu: ed: Replace with 1.14.1 [fixes security issues]., Mark H Weaver, 2017/01/13
- Re: [PATCH] gnu: ed: Replace with 1.14.1 [fixes security issues]., Ludovic Courtès, 2017/01/14