Jak zainstalować najnowszą bibliotekę gmp w 12.04?

Wiem, że powinien on mieć postać „sudo apt-get install”. Ale jak powinna się nazywać biblioteka? A po instalacji, jak sprawdzić, czy został poprawnie zainstalowany.

Możesz zainstalować gmp za pomocą następującego polecenia.

sudo apt-get install libgmp3-dev

Sprawdź także ten post .