ftp-master.debian.org ftp-master.debian.org fasolo.debian.org fasolo.debian.org syncproxy2.eu.debian.org syncproxy2.eu.debian.org smit.debian.org ftp-master.debian.org debian.ethz.ch debian.ethz.ch plattenberg.ethz.ch syncproxy2.eu.debian.org mirror1.infomaniak.com mirror1.infomaniak.com ver1-debmirror-1.infomaniak.ch debian.ethz.ch