Dear Debian staff and users, between 11:45 and 12:15 we will have a maintenance for our official Debian mirror server "debian.mirror.iphh.net". Therefore it won't be reachable for 30min. We don't expect additional downtime. best regards, IPHH Support Team