Comment 2 for bug 873757

I've tryed the upgrade 2 times today, with the same error appearing. It seems that this file is missing on the repository as we can see by this test:

[code]
tota@por3tota:~$ wget http://pt.archive.ubuntu.com/ubuntu/pool/universe/g/gmp4/libgmp3c2_4.3.2+dfsg-2ubuntu1_amd64.deb
--2011-10-14 03:18:01-- http://pt.archive.ubuntu.com/ubuntu/pool/universe/g/gmp4/libgmp3c2_4.3.2+dfsg-2ubuntu1_amd64.deb
A resolver pt.archive.ubuntu.com... 193.136.212.166
A conectar pt.archive.ubuntu.com|193.136.212.166|:80... conectado.
Pedido HTTP enviado, a aguardar resposta... 403 Forbidden
2011-10-14 03:18:01 ERRO 403: Forbidden.

tota@por3tota:~$ wget http://pt.archive.ubuntu.com/ubuntu/pool/universe/g/gmp4/
--2011-10-14 03:18:23-- http://pt.archive.ubuntu.com/ubuntu/pool/universe/g/gmp4/
A resolver pt.archive.ubuntu.com... 193.136.212.166
A conectar pt.archive.ubuntu.com|193.136.212.166|:80... conectado.
Pedido HTTP enviado, a aguardar resposta... 200 OK
Tamanho: 513 [text/html]
Saving to: `index.html'

100%[======================================>] 513 --.-K/s em 0s

2011-10-14 03:18:23 (27,7 MB/s) - `index.html' saved [513/513]
[/code]