} 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";
} 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";