Ask Ubuntu is a question and answer site for Ubuntu users and developers. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|improve this question
As this seems to create confusion, would you mind clarifying what exactly you are looking for? – user98085 Oct 29 '12 at 16:24

You can install gmp using the following command.

sudo apt-get install libgmp3-dev

Also, check out this post.

share|improve this answer
Link is broken. – robguinness Feb 21 '13 at 7:40
Page is now at – Emyr Sep 30 '13 at 18:14

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.