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/linux.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gnu/packages/linux.scm') diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index ed74aa50a1..afa2617a6a 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -181,7 +181,7 @@ #t)))))) #:allowed-references () #:tests? #f)) - (home-page "http://www.gnu.org/software/linux-libre") + (home-page "https://www.gnu.org/software/linux-libre/") (synopsis "GNU Linux-Libre kernel headers") (description "Headers of the Linux-Libre kernel.") (license license:gpl2))) @@ -333,7 +333,7 @@ for ARCH and optionally VARIANT, or #f if there is no such configuration." "INSTALL_MOD_STRIP=1" "modules_install")))))) #:tests? #f)) - (home-page "http://www.gnu.org/software/linux-libre/") + (home-page "https://www.gnu.org/software/linux-libre//") (synopsis "100% free redistribution of a cleaned Linux kernel") (description "GNU Linux-Libre is a free (as in freedom) variant of the Linux kernel. -- cgit v1.2.3