There is a problem with our internet provider and www.debian.org is down. Thanks Bruce -- Can you get your operating system fixed when you need it? Linux - the supportable operating system. http://www.debian.org/support.html Bruce Perens K6BP firstname.lastname@example.org NEW PHONE NUMBER: 510-620-3502 -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to email@example.com . Trouble? e-mail to firstname.lastname@example.org .