Use ftp.de.debian.org in manda

Until issues with debian.netcologne.de are solved.

diff --git a/modules/debian-org/misc/hoster.yaml b/modules/debian-org/misc/hoster.yaml
index 65a4bdf7d0f548191d0534531761194dc61457e4..ec1e045ee750a88dd22e6e1cfbc51880b6b1aaca 100644 (file)
--- a/modules/debian-org/misc/hoster.yaml
+++ b/modules/debian-org/misc/hoster.yaml
@@ -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