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.geo.kernel.org/pub/$1";
+ push @mirrors, "http://ftp.geo.kernel.org/pub/$1";
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";