How to Install and Uninstall libgnatcoll-gmp20 Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: May 15,2024

1. Install "libgnatcoll-gmp20" package

Please follow the guidance below to install libgnatcoll-gmp20 on Ubuntu 22.04 LTS (Jammy Jellyfish)

$ sudo apt update $ sudo apt install libgnatcoll-gmp20

2. Uninstall "libgnatcoll-gmp20" package

This is a short guide on how to uninstall libgnatcoll-gmp20 on Ubuntu 22.04 LTS (Jammy Jellyfish):

$ sudo apt remove libgnatcoll-gmp20 $ sudo apt autoclean && sudo apt autoremove

3. Information about the libgnatcoll-gmp20 package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: libgnatcoll-gmp20
Architecture: amd64
Version: 21.0.0-4
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: libgnatcoll-bindings
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Nicolas Boulenguez
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 90
Depends: libc6 (>= 2.4), libgcc-s1 (>= 3.0), libgmp10, libgnat-10 (>= 10.2.1)
Filename: pool/universe/libg/libgnatcoll-bindings/libgnatcoll-gmp20_21.0.0-4_amd64.deb
Size: 20152
MD5sum: 3bbb71f0fdd372751522559bc1cff27e
SHA1: f32c5b2c712d42037dadcd49843d8b555ceecb8b
SHA256: cb5084b3e517a7d4a974e26bc2fef927b6847442c1096b3642b0d1eaf30a588c
SHA512: e8f89e925a16dacfa213c47278099480ed716366cb2a649f314fa6c0fcd73cfcd02182beab389316ddf5aa9b8a2a112becc62e90a3ad9ff5aca7660a99f9d7b9
Homepage: https://github.com/AdaCore/gnatcoll-bindings
Description: Ada binding for GMP big numbers (runtime)
Description-md5: ab3b58bd85a9f9ad2bfae3c36ae476ae