How to Install and Uninstall libgnatcoll-gmp20 Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 09,2024

1. Install "libgnatcoll-gmp20" package

This tutorial shows how to install libgnatcoll-gmp20 on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install libgnatcoll-gmp20

2. Uninstall "libgnatcoll-gmp20" package

Please follow the guidance below to uninstall libgnatcoll-gmp20 on Ubuntu 23.10 (Mantic Minotaur):

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

3. Information about the libgnatcoll-gmp20 package on Ubuntu 23.10 (Mantic Minotaur)

Package: libgnatcoll-gmp20
Architecture: amd64
Version: 23.0.0-6
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: 117
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.2.1+dfsg1), libgnat-12 (>= 12.3.0)
Filename: pool/universe/libg/libgnatcoll-bindings/libgnatcoll-gmp20_23.0.0-6_amd64.deb
Size: 30774
MD5sum: 7a789a532e11dde475fd4574c558a738
SHA1: 349ba89cafb68e0e5b98b2320415333bbbbcc3ae
SHA256: 93ffd819bdbbc92c1376857dd16e96c0d5a01fe61901436d021fe1a8a6e69ac2
SHA512: d459ed314ea4235336339a54d339c58944dee84906946f4c5c8bea26e0a9c4ec672d83265cf49a730b73757b37f5b32d0b824fe7d727e6b09aeb053361cd9139
Homepage: https://github.com/AdaCore/gnatcoll-bindings
Description: Ada binding for GMP big numbers (runtime)
Description-md5: ab3b58bd85a9f9ad2bfae3c36ae476ae