O Ministério da Educação está comprando 3.000 computadores para rodar o Debian Gnu/Linux customizado para escolas públicas, chamado Linux Educacional.

O Edital 51/2007 processo 23034.003003/2007-98 do FUNDO NACIONAL DE DESENVOLVIMENTO DA EDUCAÇÃO - FNDE, MINISTÉRIO DA EDUCAÇÃO, BRASIL menciona o Debian Etch 4.0 várias vezes.

Você pode ver o edital completo através do site ComprasNet.

Fonte: times.debian.net