I know it should be of the form "sudo apt-get install ". But what should be the name of the library? And after installing, how to verify that it has been installed correctly.

  • 2
    As this seems to create confusion, would you mind clarifying what exactly you are looking for?
    – user98085
    Oct 29, 2012 at 16:24

2 Answers 2


You can install gmp using the following command.

sudo apt-get install libgmp3-dev

Also, check out this post.

  • This allowed me to update the gmp R package on Ubuntu 18.04 Apr 14, 2020 at 10:42

This is the first result when googling for "ubuntu install gmp". That's why I answer such an old question.

For me the following worked:

apt-get install -y libgmp-dev

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .