From f89cebb1e6d5b9cc0177e572b97f24cb91fd5e13 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Fri, 19 Jan 2018 00:01:27 +0100 Subject: 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(-) (limited to 'gnu/packages/multiprecision.scm') 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 ;;; Copyright © 2016 Nicolas Goaziou ;;; Copyright © 2016 Jan Nieuwenhuizen +;;; Copyright © 2018 Tobias Geerinckx-Rice ;;; ;;; This file is part of GNU Guix. ;;; @@ -129,14 +130,14 @@ (define-public mpc (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) ; refers to both ("mpfr" ,mpfr))) -- cgit v1.2.3 From 24a87a14e13cf8edd1693da3e5dcc3d30d21486b Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Fri, 19 Jan 2018 00:03:05 +0100 Subject: gnu: mpfi: Edit synopsis & description. * gnu/packages/multiprecision.scm (mpfi)[synopsis, description]: Edit. Define several terms. Use GMP instead of MP for consistency. --- gnu/packages/multiprecision.scm | 19 +++++++++++-------- 1 file changed, 11 insertions(+), 8 deletions(-) (limited to 'gnu/packages/multiprecision.scm') diff --git a/gnu/packages/multiprecision.scm b/gnu/packages/multiprecision.scm index c7d47f5df8..291b81ae76 100644 --- a/gnu/packages/multiprecision.scm +++ b/gnu/packages/multiprecision.scm @@ -141,13 +141,16 @@ (define-public mpfi (build-system gnu-build-system) (propagated-inputs `(("gmp" ,gmp) ; refers to both ("mpfr" ,mpfr))) - (synopsis "C library for arbitrary precision interval arithmetic") - (description "MPFI is intended to be a portable library written in C for -arbitrary precision interval arithmetic with intervals represented using MPFR -reliable floating-point numbers. It is based on the GNU MP library and on the -MPFR library. The purpose of an arbitrary precision interval arithmetic is on -the one hand to get guaranteed results, thanks to interval computation, and on -the other hand to obtain accurate results, thanks to multiple precision -arithmetic.") + (synopsis "C library for arbitrary-precision interval arithmetic") + (description + "@dfn{MPFI} (Multiple Precision Floating-point Interval) is a portable C +library for arbitrary-precision interval arithmetic, with intervals represented +using MPFR reliable floating-point numbers. It's based on the @dfn{GMP} (GNU +Multiple Precision Arithmetic) and GNU@tie{}@dfn{MPFR} (Multiple Precision +Floating-Point Reliably) libraries. + +The purpose of arbitrary-precision interval arithmetic is to get results that +are both guaranteed, thanks to interval computation, and accurate, thanks to +multiple-precision arithmetic.") (license lgpl2.1+) (home-page "https://perso.ens-lyon.fr/nathalie.revol/software.html"))) -- cgit v1.2.3 From 45fc77e56e85e8a5adaffd42b993ae34dfc00f5c Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Fri, 19 Jan 2018 00:12:46 +0100 Subject: gnu: mpc: Update home page. * gnu/packages/multiprecision.scm (mpc)[home-page]: Update. --- gnu/packages/multiprecision.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gnu/packages/multiprecision.scm') diff --git a/gnu/packages/multiprecision.scm b/gnu/packages/multiprecision.scm index 291b81ae76..1d2163a5c8 100644 --- a/gnu/packages/multiprecision.scm +++ b/gnu/packages/multiprecision.scm @@ -125,7 +125,7 @@ (define-public mpc "GNU MPC is a C library for performing arithmetic on complex numbers. It supports arbitrarily high precision and it correctly rounds the results.") (license lgpl3+) - (home-page "http://mpc.multiprecision.org/"))) + (home-page "http://multiprecision.org/mpc/"))) (define-public mpfi (package -- cgit v1.2.3 From 246db47177d114cbf5688a74d67f49167e940087 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Fri, 19 Jan 2018 00:16:39 +0100 Subject: gnu: mpc: Edit synopsis & description. * gnu/packages/multiprecision.scm (mpc)[synopsis, description]: Edit. Define MPC. --- gnu/packages/multiprecision.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'gnu/packages/multiprecision.scm') diff --git a/gnu/packages/multiprecision.scm b/gnu/packages/multiprecision.scm index 1d2163a5c8..b5f33cb4ce 100644 --- a/gnu/packages/multiprecision.scm +++ b/gnu/packages/multiprecision.scm @@ -120,10 +120,11 @@ (define-public mpc (outputs '("out" "debug")) (propagated-inputs `(("gmp" ,gmp) ; refers to both ("mpfr" ,mpfr))) - (synopsis "C library for arbitrary precision complex arithmetic") + (synopsis "C library for arbitrary-precision complex arithmetic") (description - "GNU MPC is a C library for performing arithmetic on complex numbers. -It supports arbitrarily high precision and it correctly rounds the results.") + "GNU@tie{}@dfn{MPC} (Multiple Precision Complex library) is a C library for +performing arithmetic on complex numbers. It supports arbitrarily high +precision and correctly rounds the results.") (license lgpl3+) (home-page "http://multiprecision.org/mpc/"))) -- cgit v1.2.3 From 5b7900d7679e34e145623412253a86d9bf7cd462 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Fri, 19 Jan 2018 00:21:07 +0100 Subject: gnu: mpfr: Edit synopsis & description. * gnu/packages/multiprecision.scm (mpfr)[synopsis, description]: Edit. Define MPFR. --- gnu/packages/multiprecision.scm | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'gnu/packages/multiprecision.scm') diff --git a/gnu/packages/multiprecision.scm b/gnu/packages/multiprecision.scm index b5f33cb4ce..f2a501cabd 100644 --- a/gnu/packages/multiprecision.scm +++ b/gnu/packages/multiprecision.scm @@ -98,10 +98,11 @@ (define-public mpfr (build-system gnu-build-system) (outputs '("out" "debug")) (propagated-inputs `(("gmp" ,gmp))) ; refers to - (synopsis "C library for arbitrary precision floating-point arithmetic") + (synopsis "C library for arbitrary-precision floating-point arithmetic") (description - "GNU MPFR is a C library for performing multiple-precision, -floating-point computations with correct rounding.") + "GNU@tie{}@dfn{MPFR} (Multiple Precision Floating-Point Reliably) is a C +library for performing multiple-precision, floating-point computations with +correct rounding.") (license lgpl3+) (home-page "http://www.mpfr.org/"))) -- cgit v1.2.3 From 75213ad2cec6856e4a65caabe6ff27ea40562e7b Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Fri, 19 Jan 2018 00:22:10 +0100 Subject: gnu: gmp: Use HTTPS for home page. * gnu/packages/multiprecision.scm (gmp)[home-page]: Use HTTPS. --- gnu/packages/multiprecision.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gnu/packages/multiprecision.scm') diff --git a/gnu/packages/multiprecision.scm b/gnu/packages/multiprecision.scm index f2a501cabd..4ee316f9a2 100644 --- a/gnu/packages/multiprecision.scm +++ b/gnu/packages/multiprecision.scm @@ -66,7 +66,7 @@ (define-public gmp with a design focus on execution speed. It is aimed at use in, for example, cryptography and computational algebra.") (license lgpl3+) - (home-page "http://gmplib.org/"))) + (home-page "https://gmplib.org/"))) (define-public gmp-6.0 ;; We keep this one around to bootstrap GCC, to work around a compilation -- cgit v1.2.3 From d62ab6572b1d63678de224f080ce6dde7538a5d0 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Fri, 19 Jan 2018 00:26:56 +0100 Subject: gnu: gmp: Edit description. * gnu/packages/multiprecision.scm (gmp)[description]: Edit. Define GMP. --- gnu/packages/multiprecision.scm | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'gnu/packages/multiprecision.scm') diff --git a/gnu/packages/multiprecision.scm b/gnu/packages/multiprecision.scm index 4ee316f9a2..3107bbb979 100644 --- a/gnu/packages/multiprecision.scm +++ b/gnu/packages/multiprecision.scm @@ -60,11 +60,12 @@ (define-public gmp (else '()))))) (synopsis "Multiple-precision arithmetic library") (description - "GMP is a library for arbitrary precision arithmetic, operating on -signed integers, rational numbers and floating point numbers. The precision -is only limited by the available memory. The library is highly optimized, -with a design focus on execution speed. It is aimed at use in, for example, -cryptography and computational algebra.") + "@dfn{GMP} (the GNU Multiple Precision Arithmetic Library) is a library for +arbitrary-precision arithmetic, operating on signed integers, rational numbers +and floating point numbers. The precision is only limited by the available +memory. The library is highly optimized, with a design focus on execution +speed. It is aimed at use in, for example, cryptography and computational +algebra.") (license lgpl3+) (home-page "https://gmplib.org/"))) -- cgit v1.2.3