How to Install and Uninstall libgmpada12-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 08,2024

1. Install "libgmpada12-dev" package

Learn how to install libgmpada12-dev on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install libgmpada12-dev

2. Uninstall "libgmpada12-dev" package

In this section, we are going to explain the necessary steps to uninstall libgmpada12-dev on Ubuntu 23.10 (Mantic Minotaur):

$ sudo apt remove libgmpada12-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libgmpada12-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: libgmpada12-dev
Architecture: amd64
Version: 1.5-7
Priority: optional
Section: universe/libdevel
Source: libgmpada
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Nicolas Boulenguez
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 939
Depends: gnat (<< 13), gnat (>= 12), libgmpada8 (= 1.5-7), libgmp-dev
Breaks: libgmpada10-dev, libgmpada11-dev, libgmpada8-dev, libgmpada9-dev
Replaces: libgmpada10-dev, libgmpada11-dev, libgmpada8-dev, libgmpada9-dev
Filename: pool/universe/libg/libgmpada/libgmpada12-dev_1.5-7_amd64.deb
Size: 137190
MD5sum: e4a56d6b72ccf184761ccb5eabf465fc
SHA1: 39061b2d468ec1008abb338cb941716aa9de5cb2
SHA256: 0983f34ccb8af0f2a0c5878c4d00c0a8e15e06a9da629f6098e11ee205c1ef75
SHA512: 9259f03949f503f1ff0e7bec877dbd0f6e348ff932db8cb696d5fed4f517c602cbfead6e1576a2949c48eb3f670c2e1f4ad962df1b7547bfc3f11ec9cad3026b
Homepage: http://nicolas.boulenguez.free.fr
Description: Ada binding to the GNU MultiPrecision library: development
Description-md5: 8da58d210fa6380873b2251aa68ebd8e