Problemilla con apt-get,un proxy y un solo paquete

Hola a todos
Si hace poco tenia problemas con un paquete en gentoo,ahora lo tengo con uno en debian
El caso es que en el curro uso debian para un portatil de mierda(por eso no uso gentoo ),y tengo que acceder a internet a traves de un proxy.Pues bien,tras haberlo configurado en apt.conf,resulta que el muy cabron me bloquea solo un paquete(si,solo uno),el libgmp3c2_4.1.4-11_i386.deb,que es ultimo que me falta por obtener;y es que al hacer un #apt-get dist-upgrade --fix-missing,me pone ,pero cuando doy a que descargue,el muy maldito me salta con
,por lo que no tengo ni idea de que puedo hacer para actualizar el sistema(he probado con fix-missing porque es lo que me recomienda cuando lo hago sin el ).He probado con varios repositorios,y de varios paises,y siempre lo mismo.He probado a buscar el paquete en cuestion por google,y lo he intentado tambien por varios repositorios(si cuela,cuela),pero siempre que me lo intento bajar,me salta el simpatico proxy,comentando en tono jocoso
No voy a decir el nombre de la empresa(por si acaso,que no la quiero cagar),pero digamos que soy un becario de mierda en una empresa medio-grande,y que encima usa Linux medio a hurtadillas,por lo que me da bastante apuro ir al departamento de internet a pedirles amablemente que dejen de dar por el culo y que hagan lo que se requiera para que me pueda bajar el puto paquete,que quiero tener mi debian a la ultima(la timidez me vence ).
Tambien he probado la "habil" estratagema de #touch /var/cache/apt/archives/libgmp3c2_4.1.4-11_i386.deb ,pero apt no es tonto y se lo intenta bajar bien
Como podria hacer para "engañar" a apt y que me dejara actualizar el resto del sistema?Hay alguna otra manera de obtener el susodicho paquete?
Gracias anticipadas,y saludos!![bye]