Как установить последнюю версию библиотеки gmp в 12.04?

Я знаю, что это должно быть в форме "sudo apt-get install". Но каким должно быть название библиотеки? И после установки, как проверить, что он установлен правильно.

Вы можете установить gmp, используя следующую команду.

sudo apt-get install libgmp3-dev

Кроме того, проверьте этот пост .