+ } elsif ($mirror =~ /^\@GNU\/(.+)$/) {
+ my $gnupath = $1;
+ push @mirrors, "ftp://ftp.gnu.org/gnu/$gnupath";
+ push @mirrors, "ftp://ftp.belnet.be/mirror/ftp.gnu.org/gnu/$gnupath";
+ push @mirrors, "ftp://ftp.mirror.nl/pub/mirror/gnu/$gnupath";
+ push @mirrors, "http://mirror.switch.ch/ftp/mirror/gnu/$gnupath";