How to Install and Uninstall libgnatcoll-gmp16.1.0-dev Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: June 24,2024

1. Install "libgnatcoll-gmp16.1.0-dev" package

In this section, we are going to explain the necessary steps to install libgnatcoll-gmp16.1.0-dev on Ubuntu 18.04 LTS (Bionic Beaver)

$ sudo apt update $ sudo apt install libgnatcoll-gmp16.1.0-dev

2. Uninstall "libgnatcoll-gmp16.1.0-dev" package

Please follow the guidance below to uninstall libgnatcoll-gmp16.1.0-dev on Ubuntu 18.04 LTS (Bionic Beaver):

$ sudo apt remove libgnatcoll-gmp16.1.0-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libgnatcoll-gmp16.1.0-dev package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libgnatcoll-gmp16.1.0-dev
Architecture: amd64
Version: 17.0.2017-3
Priority: optional
Section: universe/libdevel
Source: libgnatcoll
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Nicolas Boulenguez
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 286
Depends: libgmp-dev, libgnatcoll16.1.0-dev (= 17.0.2017-3), gnat, gnat-7, libgnatcoll-gmp17.0.2017 (= 17.0.2017-3)
Suggests: libgnatcoll-doc
Filename: pool/universe/libg/libgnatcoll/libgnatcoll-gmp16.1.0-dev_17.0.2017-3_amd64.deb
Size: 38230
MD5sum: ca1dc9e55e1e93cc438253152f444352
SHA1: ead268e4d2c0c4ac2a5055bb93e1d15c610c985b
SHA256: 27fd950523970d20762e15cc063cc3c976d85ee83fea4f67804e96ba7b145985
Homepage: http://libre.adacore.com/libre/tools
Description: GNATColl, general purpose Ada library (GMP)
Description-md5: 4b5123c2fe2d34a037bf524dfd2a1943