Alguém poderia me informar qual a destribuição debian utilizada pelas escolas publicas nos computadores doados pelo governo federal? grato Diogo