+ } elsif ($mirror =~ /^\@GNU\/(.+)$/) {
+ push @mirrors, "ftp://ftp.gnu.org/gnu/$1";
+ push @mirrors, "ftp://ftp.belnet.be/mirror/ftp.gnu.org/gnu/$1";
+ push @mirrors, "ftp://ftp.mirror.nl/pub/mirror/gnu/$1";
+ push @mirrors, "http://mirror.switch.ch/ftp/mirror/gnu/$1";
+ push @mirrors, "ftp://ftp.uu.net/archive/systems/gnu/$1";
+ push @mirrors, "ftp://ftp.eu.uu.net/pub/gnu/$1";
+ push @mirrors, "ftp://ftp.leo.org/pub/comp/os/unix/gnu/$1";
+ push @mirrors, "ftp://ftp.digex.net/pub/gnu/$1";
+ } elsif ($mirror =~ /^\@KERNEL\/(.+)$/) {
+ push @mirrors, "ftp://ftp.all.kernel.org/pub/$1";
+ push @mirrors, "http://ftp.all.kernel.org/pub/$1";
+ push @mirrors, "ftp://ftp.de.kernel.org/pub/$1";
+ push @mirrors, "http://ftp.de.kernel.org/pub/$1";
+ push @mirrors, "ftp://ftp.fr.kernel.org/pub/$1";
+ push @mirrors, "http://ftp.fr.kernel.org/pub/$1";