How to Install and Uninstall libgnatcoll-gmp19-dev Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 09,2024

1. Install "libgnatcoll-gmp19-dev" package

This tutorial shows how to install libgnatcoll-gmp19-dev on Ubuntu 21.10 (Impish Indri)

$ sudo apt update $ sudo apt install libgnatcoll-gmp19-dev

2. Uninstall "libgnatcoll-gmp19-dev" package

Please follow the step by step instructions below to uninstall libgnatcoll-gmp19-dev on Ubuntu 21.10 (Impish Indri):

$ sudo apt remove libgnatcoll-gmp19-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libgnatcoll-gmp19-dev package on Ubuntu 21.10 (Impish Indri)

Package: libgnatcoll-gmp19-dev
Architecture: amd64
Version: 21.0.0-4
Priority: optional
Section: universe/libdevel
Source: libgnatcoll-bindings
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Nicolas Boulenguez
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 338
Depends: libgnatcoll19-dev, libgmp-dev, gnat, gnat-10, libgnatcoll-gmp20 (= 21.0.0-4)
Filename: pool/universe/libg/libgnatcoll-bindings/libgnatcoll-gmp19-dev_21.0.0-4_amd64.deb
Size: 43036
MD5sum: 9d735c515bc580151145789ff267cf33
SHA1: 88bb97569f218616bdb4c58b785541a3e5661d39
SHA256: c57631ee8ade3254aacce6d9bad3857d4065aa4860cafba54d74e22474195215
SHA512: 143279a093d18af33aeb2c680830739c731b27e56da0218fff5a3999cf5788c9242c76a2d81fb8d28448f643f96d9d3126d1d7ada35bed53dd7ea13615279797
Homepage: https://github.com/AdaCore/gnatcoll-bindings
Description-en: Ada binding for GMP big numbers (development)
The GNAT Component Collection deals with: module tracing, efficient
file IO, static string searching (Boyer-Moore), e-mails and
mailboxes, Ravenscar tasking profiles, storage pools, JSON, logging,
shell scripting. Components relying on external dependencies are
distributed in separate packages.
.
This package contains the static library and Ada specifications
for the binding with the GNU Multiprecision arithmetic C library.
Description-md5: 86db7cd7d8977de7aa736eb7e1d949fe