$ apt-cache search libgmp3
libgmp3-dev - Multiprecision arithmetic library developers tools
libgmp3-doc - Multiprecision arithmetic library example code
libgmp3c2 - Multiprecision arithmetic library
try installing ...
sudo apt-get install libgmp3-dev libgmp3c2
u can find more about the packages at
Ubuntu -- Ubuntu Packages Search
hope that resolves your problem...
