gnu: arb: Use HTTPS home page URI.

* gnu/packages/algebra.scm (arb)[home-page]: Use HTTPS URI.  Move above
synopsis.
This commit is contained in:
Nicolas Goaziou 2020-12-19 15:58:01 +01:00
parent ff0725f626
commit 2f4dcff4c2
No known key found for this signature in database
GPG key ID: DA00B4F048E92F2D

View file

@ -533,14 +533,14 @@ (define-public arb
(string-append "--with-flint=" flint)
(string-append "--with-gmp=" gmp)
(string-append "--with-mpfr=" mpfr))))))))
(home-page "https://arblib.org")
(synopsis "Arbitrary precision floating-point ball arithmetic")
(description
"Arb is a C library for arbitrary-precision floating-point ball
arithmetic. It supports efficient high-precision computation with
polynomials, power series, matrices and special functions over the
real and complex numbers, with automatic, rigorous error control.")
(license license:lgpl2.1+)
(home-page "http://arblib.org")))
(license license:lgpl2.1+)))
(define-public python-flint
(package