Software Educacional [RESOLVIDO]

Por favor, sou da Secretaria de Educação da Prefeitura de Guarulhos. Gostaria de saber se já está disponivel os Softwares para Linux: Chisdplay,Sebran ABC, Tangran e GCompris, todos para Linux.
Desde já muito obrigada,aguardando informações
Fone(11)2475 7300 ramal 7474

Chisdplay
http://superdownloads.uol.com.br/download/199/childsplay/

Sebran ABC
não encontrado

Tangran
http://busca.superdownloads.uol.com.br/busca/tangram.s2.html
ou
http://www.land.ufrj.br/tools/tangram2/tangram2.html

GCompris
http://superdownloads.uol.com.br/download/37/gcompris/

Muito obrigado pelas informações.