Thomas Adams 22 Jan 1999 16:39:08 -0000
What's up with the ...de.debian.org servers? A DNS problem perhaps?