From 6fd52309b8f52c9bb59fccffac53e029ce94b698 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Thu, 30 Mar 2017 00:48:16 +0200 Subject: gnu: Use HTTPS for almost all gnu.org HOME-PAGEs. All HTTP gnu.org (and supported subdomain) HOME-PAGEs changed to HTTPS. --- gnu/packages/make-bootstrap.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gnu/packages/make-bootstrap.scm') diff --git a/gnu/packages/make-bootstrap.scm b/gnu/packages/make-bootstrap.scm index e5c614cee7..d7ec65f25a 100644 --- a/gnu/packages/make-bootstrap.scm +++ b/gnu/packages/make-bootstrap.scm @@ -428,7 +428,7 @@ (define %gcc-static ;; etc.) Failing to do that leads to misdetections of ;; declarations by 'gcc/configure', and eventually to ;; duplicate declarations as reported in - ;; . + ;; . ("gmp-native" ,gmp) ("mpfr-native" ,mpfr) ("mpc-native" ,mpc) -- cgit v1.2.3