Alguém sabe qual distro Linux roda nos computadores das bibliotecas do RJ?

Eu ouvi falar que as bibliotecas lá estão a usar Linux mas não sei qual é… Alguém que seja do RJ pode me responder esta dúvida?