Hi there The server http://people.debian.org is no longer available. Could you please fix it? Best regards Holger Strauss