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