Install libgmpada7-dev by entering the following commands in the terminal:
sudo apt update sudo apt install libgmpada7-dev
Description:
Ada binding to the GNU MultiPrecision library: development
GMPAda allows programmers to use the GNU MultiPrecision library within the Ada language: unbounded integers, rationals and floats. . Install this package if you want to write programs that use libgmpada.
Homepage: http://nicolas.boulenguez.free.fr
Version: 1.1-2
Section: universe/libdevel