How to Install and Uninstall libgnatcoll-gmp18-dev Package on Linux Mint 20.3 (Una)

Last updated: May 19,2024

1. Install "libgnatcoll-gmp18-dev" package

Please follow the step by step instructions below to install libgnatcoll-gmp18-dev on Linux Mint 20.3 (Una)

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

2. Uninstall "libgnatcoll-gmp18-dev" package

This guide let you learn how to uninstall libgnatcoll-gmp18-dev on Linux Mint 20.3 (Una):

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

3. Information about the libgnatcoll-gmp18-dev package on Linux Mint 20.3 (Una)

Package: libgnatcoll-gmp18-dev
Architecture: amd64
Version: 19-2
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: 314
Depends: libgmp-dev, libgnatcoll18-dev, gnat, gnat-9, libgnatcoll-gmp19 (= 19-2)
Suggests: libgnatcoll-doc
Filename: pool/universe/libg/libgnatcoll-bindings/libgnatcoll-gmp18-dev_19-2_amd64.deb
Size: 40484
MD5sum: ed472be8c737bb5680dfc513dff5a8c4
SHA1: 3e5f2c992ebc75807c7fcebafeddfffebc7d3953
SHA256: f335d6e46dc3a6fe08ad2685d4949dcdfb5a829bc025d0240791d15e28300979
Homepage: https://www.adacore.com/community
Description: GNATColl, general purpose Ada library (GMP)
Description-md5: 4b5123c2fe2d34a037bf524dfd2a1943

5. The same packages on other Linux Distributions