[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/11: gnu: mpfi: Update to 1.5.3.
From: |
Tobias Geerinckx-Rice |
Subject: |
01/11: gnu: mpfi: Update to 1.5.3. |
Date: |
Thu, 18 Jan 2018 20:42:32 -0500 (EST) |
nckx pushed a commit to branch master
in repository guix.
commit f89cebb1e6d5b9cc0177e572b97f24cb91fd5e13
Author: Tobias Geerinckx-Rice <address@hidden>
Date: Fri Jan 19 00:01:27 2018 +0100
gnu: mpfi: Update to 1.5.3.
* gnu/packages/multiprecision.scm (mpfi): Update to 1.5.3.
[source]: Use a more stable URI.
---
gnu/packages/multiprecision.scm | 17 +++++++++--------
1 file changed, 9 insertions(+), 8 deletions(-)
diff --git a/gnu/packages/multiprecision.scm b/gnu/packages/multiprecision.scm
index b6d2d7f..c7d47f5 100644
--- a/gnu/packages/multiprecision.scm
+++ b/gnu/packages/multiprecision.scm
@@ -4,6 +4,7 @@
;;; Copyright © 2015 Andreas Enge <address@hidden>
;;; Copyright © 2016 Nicolas Goaziou <address@hidden>
;;; Copyright © 2016 Jan Nieuwenhuizen <address@hidden>
+;;; Copyright © 2018 Tobias Geerinckx-Rice <address@hidden>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -129,14 +130,14 @@ It supports arbitrarily high precision and it correctly
rounds the results.")
(define-public mpfi
(package
(name "mpfi")
- (version "1.5.1")
- (source (origin
- (method url-fetch)
- (uri (string-append "https://gforge.inria.fr/frs/download.php/"
- "file/30130/mpfi-" version ".tar.gz"))
- (sha256
- (base32
- "1g2q6i7dqx40p4gw11da6jgfcbzmm26wxc69fwv8zpcdyg32a9za"))))
+ (version "1.5.3")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append "https://gforge.inria.fr/frs/download.php"
+ "/latestfile/181/" name "-" version ".tar.bz2"))
+ (sha256
+ (base32 "0bqr8yibl7jbrp0bw7xk1lm7nis7rv26jsz6y8ycvih8n9bx90r3"))))
(build-system gnu-build-system)
(propagated-inputs `(("gmp" ,gmp) ; <mpfi.h> refers to both
("mpfr" ,mpfr)))
- branch master updated (37d110d -> fbf210c), Tobias Geerinckx-Rice, 2018/01/18
- 03/11: gnu: mpc: Update home page., Tobias Geerinckx-Rice, 2018/01/18
- 06/11: gnu: gmp: Use HTTPS for home page., Tobias Geerinckx-Rice, 2018/01/18
- 04/11: gnu: mpc: Edit synopsis & description., Tobias Geerinckx-Rice, 2018/01/18
- 07/11: gnu: gmp: Edit description., Tobias Geerinckx-Rice, 2018/01/18
- 08/11: gnu: stress: Use newer and HTTPS home page., Tobias Geerinckx-Rice, 2018/01/18
- 02/11: gnu: mpfi: Edit synopsis & description., Tobias Geerinckx-Rice, 2018/01/18
- 05/11: gnu: mpfr: Edit synopsis & description., Tobias Geerinckx-Rice, 2018/01/18
- 01/11: gnu: mpfi: Update to 1.5.3.,
Tobias Geerinckx-Rice <=
- 09/11: gnu: stress: Update to 1.0.4., Tobias Geerinckx-Rice, 2018/01/18
- 10/11: gnu: testdisk: Use HTTPS for home page., Tobias Geerinckx-Rice, 2018/01/18
- 11/11: gnu: rdup: Update to 1.1.15., Tobias Geerinckx-Rice, 2018/01/18