On Sun, Apr 28, 2013 at 4:07 AM, Holger Wansing wrote: > Is this a problem of my ISP (proxy)? Either that or there is something wrong with the www.d.o mirror that you are getting sent to. -- bye, pabs http://wiki.debian.org/PaulWise