1
Como instalar a biblioteca gmp mais recente na versão 12.04?
Eu sei que deve estar no formato "sudo apt-get install". Mas qual deve ser o nome da biblioteca? E após a instalação, como verificar se foi instalado corretamente.