From 4c8aa8f333c5d80cdd6b6db672e0c197093c1cdf Mon Sep 17 00:00:00 2001 From: Ricky Elrod Date: Tue, 6 May 2014 01:58:43 -0400 Subject: [PATCH] Add a bunch of Fedora mirrors and remove an old one --- pkgs/build-support/fetchurl/mirrors.nix | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/pkgs/build-support/fetchurl/mirrors.nix b/pkgs/build-support/fetchurl/mirrors.nix index c4841c50d94c..eb3b8a105cdb 100644 --- a/pkgs/build-support/fetchurl/mirrors.nix +++ b/pkgs/build-support/fetchurl/mirrors.nix @@ -180,11 +180,17 @@ rec { ]; # Fedora (please only add full mirrors that carry old Fedora distributions as well). + # See: https://mirrors.fedoraproject.org/publiclist (but not all carry old content). fedora = [ + http://archives.fedoraproject.org/pub/archive/fedora/ + http://fedora.osuosl.org/ http://ftp.nluug.nl/pub/os/Linux/distr/fedora/ http://ftp.funet.fi/pub/mirrors/ftp.redhat.com/pub/fedora/ - http://download.fedora.redhat.com/pub/fedora/ - http://archives.fedoraproject.org/pub/archive/fedora/ + http://fedora.bhs.mirrors.ovh.net/ + http://mirror.csclub.uwaterloo.ca/fedora/ + http://ftp.linux.cz/pub/linux/fedora/ + http://ftp.heanet.ie/pub/fedora/ + http://mirror.1000mbps.com/fedora/ ]; # Old SUSE distributions. Unfortunately there is no master site,