> The os.inf.tu-dresden.de:/pub/debian-non-US directory seems to have > disappeared. Found it --- it's called nonus.debian.org now. Sorry about that. Cheers, Phil. -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to debian-devel-request@lists.debian.org . Trouble? e-mail to templin@bucknell.edu .