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: