Hi! Evandro Fernandes Giovanini <efgbr@terra.com.br> wrote: > Shouldn't Debian GNU/Hurd be called Debian GNU? I don't think so; in my understanding, GNU is the name for a system that can be used with different kernels, including Linux and Hurd (which is not really a kernel, but a replacement for a kernel). This means that GNU/Hurd is the correct term for the System. Cheers, GNU/Wolfgang