diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-11-13 01:00:04 +0100 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-11-13 01:00:07 +0100 |
commit | 0081807e161a8632ae2bddbcefc040d6992134c3 (patch) | |
tree | 14eff95c02b663b223b69771ae4bb07c38656ae8 /guix/gnu-maintenance.scm | |
parent | 39e4e00f75be8055300cb0afffb8bd4b4d35f2cc (diff) |
guix: Replace defective freemirror.org.
This ‘mirror’ is particularly problematic because it's the only one checked
by ‘guix refresh’.
* guix/gnu-maintenance.scm (%savannah-base): Substitute freedif.org.
* guix/download.scm (%mirrors): Likewise.
Reported by sash-kan on #guix.
Diffstat (limited to 'guix/gnu-maintenance.scm')
-rw-r--r-- | guix/gnu-maintenance.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/guix/gnu-maintenance.scm b/guix/gnu-maintenance.scm index 3ba4b86a4f..1142c53d3d 100644 --- a/guix/gnu-maintenance.scm +++ b/guix/gnu-maintenance.scm @@ -687,9 +687,9 @@ GNOME packages; EMMS is included though, because its releases are on gnu.org." (define %savannah-base ;; One of the Savannah mirrors listed at - ;; <http://download0.savannah.gnu.org/mirmon/savannah/> that serves valid + ;; <https://download.savannah.gnu.org/mirmon/savannah/> that serves valid ;; HTML (unlike <https://download.savannah.nongnu.org/releases>.) - "https://nongnu.freemirror.org/nongnu") + "https://de.freedif.org/savannah/") (define (latest-savannah-release package) "Return the latest release of PACKAGE." |