How to Install and Uninstall libgnatcoll-gmp19-dev Package on Linux Mint 21 (Vanessa)

Last updated: May 02,2024

1. Install "libgnatcoll-gmp19-dev" package

This is a short guide on how to install libgnatcoll-gmp19-dev on Linux Mint 21 (Vanessa)

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

2. Uninstall "libgnatcoll-gmp19-dev" package

Please follow the guidelines below to uninstall libgnatcoll-gmp19-dev on Linux Mint 21 (Vanessa):

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

3. Information about the libgnatcoll-gmp19-dev package on Linux Mint 21 (Vanessa)

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: Ada binding for GMP big numbers (development)
Description-md5: 86db7cd7d8977de7aa736eb7e1d949fe