Thomas Adams wrote:
> What's up with the ...de.debian.org servers? A DNS problem perhaps?

No, there is no DNS problem, but apparently their uplink is broken at the
moment. Please try other mirrors for the time being.


bye,
 -Remco

Reply via email to