Як встановити останню бібліотеку gmp в 12.04?

Я знаю, що він повинен мати форму "sudo apt-get install". Але якою має бути назва бібліотеки? А після встановлення, як переконатися, що він встановлений правильно.

Ви можете встановити gmp за допомогою наступної команди.

sudo apt-get install libgmp3-dev

Також ознайомтеся з цією публікацією .