Joey Hess (joeyh@debian.org) wrote on 12 February 2008 16:20: >Looks like this mirror has missed the last 2 or 3 pulses. Particularly >bad timing with the kernel update. The kernel mirror itself is fine but it seems kernel.org is having very serious problems with distribution mirrors, not only with Debian's. According to their web pages the distribution mirrors use another set of machines.