#  {libgmp{10,xx4},gmp-dev}
##libgmp3
libgmpxx4
libgmp10
gmp-dev