diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-01-19 00:01:27 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-01-19 02:45:14 +0100 |
| commit | f89cebb1e6d5b9cc0177e572b97f24cb91fd5e13 (patch) | |
| tree | 8ea472be8e6a443f37bb3410ec851caf03b2cf3d /gnu | |
| parent | 37d110d6ea5accd77329714a6dfff10994e3eb92 (diff) | |
| download | patches-f89cebb1e6d5b9cc0177e572b97f24cb91fd5e13.tar patches-f89cebb1e6d5b9cc0177e572b97f24cb91fd5e13.tar.gz | |
gnu: mpfi: Update to 1.5.3.
* gnu/packages/multiprecision.scm (mpfi): Update to 1.5.3.
[source]: Use a more stable URI.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/multiprecision.scm | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/gnu/packages/multiprecision.scm b/gnu/packages/multiprecision.scm index b6d2d7f4af..c7d47f5df8 100644 --- a/gnu/packages/multiprecision.scm +++ b/gnu/packages/multiprecision.scm @@ -4,6 +4,7 @@ ;;; Copyright © 2015 Andreas Enge <andreas@enge.fr> ;;; Copyright © 2016 Nicolas Goaziou <mail@nicolasgoaziou.fr> ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org> +;;; Copyright © 2018 Tobias Geerinckx-Rice <me@tobias.gr> ;;; ;;; 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))) |