Wget: Nome ou serviço desconhecido (Arch Linux x64)

Question

Recentemente, retornei ao campus da faculdade para aulas e tirei meu computador desktop rodando Arch Linux de 64 bits do armazenamento. Depois de atualizar meus pacotes com sudo pacman -Syu, reiniciei e comecei a ter alguns problemas estranhos. Embora eu ainda consiga acessar páginas da web por meio do chromium e do uzbl, alguns outros programas, como pacman, wget e curl, não estão funcionando. Também não consigo executar ping em nenhum site fora da rede local da minha escola (embora todos os meus amigos relatem o mesmo problema em seus computadores Windows, então isso pode ser culpa da minha escola). Fiz meus testes principalmente por meio do wget, então reconheço alguns erros agora. O habitual que tenho recebido é o seguinte:

:: 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'

Depois de horas e horas de pesquisa no Google, muitos problemas semelhantes podem aparentemente ser corrigidos forçando o uso de IPv4. No entanto, modificar pacman.conf para acrescentar -4 ao comando wget apenas altera o erro para:

--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'

Já tentei inúmeras alterações e nada funcionou até agora. Vou postar alguns arquivos de configuração abaixo. Uma última coisa a considerar é que na minha escola (Instituto Politécnico Rensselaer), eles redesenharam sua rede interna para ser totalmente compatível com IPv6. Também não sei que outros firewalls ou restrições eles podem impor a nós. No entanto, tenho um laptop rodando na mesma rede com configuração quase idêntica. Não apresenta nenhum problema, então algo deve estar errado com este computador.

/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 (parte relevante):

interface=eth0
address=
netmask=
broadcast=
gateway=

/etc/nsswitch.conf (parte relevante):

hosts: files dns
networks: files

rota -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