Install libgmpada5 by entering the following commands in the terminal:
sudo apt update sudo apt install libgmpada5
Description:
Ada binding to the GNU MultiPrecision library: shared library
GMPAda allows programmers to use the GNU MultiPrecision library within the Ada language: unbounded integers, rationals and floats. . This package contains the runtime shared library.
Homepage: http://nicolas.boulenguez.free.fr
Version: 1.1-2
Section: universe/libs