name gmp++-dev
requires gmp gmp++ crt-dev libstdc++-dev