Install libgmp3-dev by entering the following commands in the terminal:
sudo apt update sudo apt install libgmp3-dev
Description:
Multiprecision arithmetic library developers tools
This is a dummy package that simply pulls in libgmp-dev. It can safely be removed.
Homepage: http://gmplib.org/
Version: 2:6.1.2+dfsg-2
Section: libdevel