Wget: Name oder Dienst unbekannt (Arch Linux x64)

Question

Ich bin vor Kurzem für den Unterricht auf den Campus meiner Uni zurückgekehrt und habe meinen Desktop-Computer mit 64-Bit-Arch-Linux aus dem Speicher geholt. Nachdem ich meine Pakete mit aktualisiert hatte sudo pacman -Syu, habe ich neugestartet und plötzlich traten seltsame Probleme auf. Während ich über Chromium und Uzbl noch auf Webseiten zugreifen kann, funktionieren einige andere Programme wie Pacman, Wget und Curl jetzt nicht mehr. Ich kann auch keine Webseiten außerhalb des lokalen Netzwerks meiner Schule anpingen (obwohl alle meine Freunde dasselbe Problem auf ihren Windows-Computern melden, könnte es also an meiner Schule liegen). Ich habe meine Tests hauptsächlich über Wget durchgeführt, daher erkenne ich jetzt ein paar Fehler. Der übliche Fehler, den ich bekomme, ist der folgende:

:: Synchronizing package databases...
--2011-09-08 17:28:59--  ftp://mirrors.kernel.org/archlinux/core/os/x86_64/core.db
           => `/var/lib/pacman/sync/core.db.part'
Resolving mirrors.kernel.org... failed: Name or service not known.
wget: unable to resolve host address `mirrors.kernel.org'

Nach stundenlanger Google-Suche können viele ähnliche Probleme anscheinend behoben werden, indem man die Verwendung von IPv4 erzwingt. Wenn man jedoch pacman.conf so ändert, dass -4 an den wget-Befehl angehängt wird, ändert sich der Fehler nur in:

--2011-09-08 17:36:56--  ftp://mirrors.kernel.org/archlinux/core/os/x86_64/core.db
           => `/var/lib/pacman/sync/core.db.part'
Resolving mirrors.kernel.org... failed: Temporary failure in name resolution.
wget: unable to resolve host address `mirrors.kernel.org'

Ich habe unzählige Änderungen ausprobiert und bisher hat nichts funktioniert. Ich werde unten einige Konfigurationsdateien posten. Eine letzte Sache, die man bedenken sollte, ist, dass sie an meiner Schule (Rensselaer Polytechnic Institute) ihr internes Netzwerk so umgestaltet haben, dass es vollständig IPv6-kompatibel ist. Ich weiß auch nicht, welche anderen Firewalls oder Einschränkungen sie uns auferlegen werden. Allerdings habe ich einen Laptop im selben Netzwerk mit nahezu identischer Konfiguration. Er hat überhaupt keine Probleme, also muss mit diesem Computer etwas nicht stimmen.

/etc/hosts:

#
# /etc/hosts: static lookup table for host names
#

#<ip-address>   <hostname.domain.org>   <hostname>
127.0.0.1       localhost.localdomain   localhost austonst-archlinux
::1             localhost.localdomain   localhost

# End of file

/etc/resolv.conf:

# Generated by dhcpcd from eth0
# /etc/resolv.conf.head can replace this line
domain dynamic.rpi.edu
nameserver 128.113.28.67
nameserver 128.113.26.77
# /etc/resolv.conf.tail can replace this line

/etc/rc.conf (Relevanter Teil):

interface=eth0
address=
netmask=
broadcast=
gateway=

/etc/nsswitch.conf (Relevanter Teil):

hosts: files dns
networks: files

Route -n:

Kernel IP routing table
Destination     Gateway         Genmask         Flags Metric Ref    Use Iface
0.0.0.0         128.113.192.254 0.0.0.0         UG    202    0        0 eth0
128.113.192.0   0.0.0.0         255.255.240.0   U     202    0        0 eth0