OK, acontece que o servidor que eu apontei estava obsoleto.
Vou postar as etapas para corrigir o problema aqui (para minha própria referência e para outras que enfrentam problemas semelhantes).
- Experimente
sudo apt-get update
e, em seguida,sudo apt-get install XXX
primeiro - seu próprio cache pode estar obsoleto. Se isso falhar, vá para 2-5. - Encontre um novo servidor atualizado, rápido e próximo dessa lista .
- Use as instruções aqui para apontar para o novo servidor.
-
sudo apt-get update
depois de apontar para o novo servidor. -
sudo apt-get install XXX
O surpreendente é que os próprios servidores do Ubuntu pareciam obsoletos:
tw.archive.ubuntu.com
Seria bom se o Ubuntu resolvesse esses problemas para que fosse mais fácil para usuários novos e não técnicos (ou pelo menos ser mais óbvio: talvez alertar sobre um servidor obsoleto durante apt-get install
).