[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
06/11: gnu: gmp: Use HTTPS for home page.
From: |
Tobias Geerinckx-Rice |
Subject: |
06/11: gnu: gmp: Use HTTPS for home page. |
Date: |
Thu, 18 Jan 2018 20:42:33 -0500 (EST) |
nckx pushed a commit to branch master
in repository guix.
commit 75213ad2cec6856e4a65caabe6ff27ea40562e7b
Author: Tobias Geerinckx-Rice <address@hidden>
Date: Fri Jan 19 00:22:10 2018 +0100
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(-)
diff --git a/gnu/packages/multiprecision.scm b/gnu/packages/multiprecision.scm
index f2a501c..4ee316f 100644
--- a/gnu/packages/multiprecision.scm
+++ b/gnu/packages/multiprecision.scm
@@ -66,7 +66,7 @@ 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 "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
- 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 <=
- 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, 2018/01/18
- 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