- nameservers: [217.196.144.129, 217.196.144.229]
- mirror-debian: http://debian.inode.at/debian/
+ # nameservers: [217.196.144.129, 217.196.144.229]
+ mirror-debian: http://cdn-fastly.deb.debian.org/debian/
searchpaths: [debprivate-darmstadt.debian.org]
#nameservers: [82.195.66.249, 217.198.242.225]
nameservers: [82.195.75.109, 82.195.75.103]
searchpaths: [debprivate-darmstadt.debian.org]
#nameservers: [82.195.66.249, 217.198.242.225]
nameservers: [82.195.75.109, 82.195.75.103]
# broken with dnssec
# nameservers: [193.62.203.96, 193.62.203.97]
#resolvoptions: [single-request]
# broken with dnssec
# nameservers: [193.62.203.96, 193.62.203.97]
#resolvoptions: [single-request]
nameservers: [193.62.202.28, 193.62.202.29]
searchpaths: [debprivate-sanger.debian.org]
rapidswitch:
nameservers: [193.62.202.28, 193.62.202.29]
searchpaths: [debprivate-sanger.debian.org]
rapidswitch: