Use ftp.de.debian.org in manda
authorAurelien Jarno <aurelien@aurel32.net>
Tue, 8 Sep 2015 09:27:37 +0000 (11:27 +0200)
committerAurelien Jarno <aurelien@aurel32.net>
Tue, 8 Sep 2015 09:27:37 +0000 (11:27 +0200)
Until issues with debian.netcologne.de are solved.

modules/debian-org/misc/hoster.yaml

index 65a4bdf..ec1e045 100644 (file)
@@ -129,7 +129,8 @@ linaro:
   searchpaths: [debprivate-darmstadt.debian.org]
   #nameservers: [82.195.66.249, 217.198.242.225]
   nameservers: [82.195.75.109, 82.195.75.103]
-  mirror-debian: http://debian.netcologne.de/debian/
+  #mirror-debian: http://debian.netcologne.de/debian/ [currently unstable]
+  mirror-debian: http://ftp.de.debian.org
 leaseweb:
   netrange:
     - 185.17.185.176/28