gnu: gmp: Use HTTPS for home page.

* gnu/packages/multiprecision.scm (gmp)[home-page]: Use HTTPS.
This commit is contained in:
Tobias Geerinckx-Rice 2018-01-19 00:22:10 +01:00
parent 5b7900d767
commit 75213ad2ce
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79

View file

@ -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