It seems that non-us.debian.org is down. At least it doesn't responde to calls for update from aptitude. Anyone knows what's going on?