How to Install and Uninstall libgnatcoll-gmp20 Package on Debian 12 (Bookworm)

Last updated: May 14,2024

1. Install "libgnatcoll-gmp20" package

Please follow the instructions below to install libgnatcoll-gmp20 on Debian 12 (Bookworm)

$ sudo apt update $ sudo apt install libgnatcoll-gmp20

2. Uninstall "libgnatcoll-gmp20" package

Here is a brief guide to show you how to uninstall libgnatcoll-gmp20 on Debian 12 (Bookworm):

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

3. Information about the libgnatcoll-gmp20 package on Debian 12 (Bookworm)

Package: libgnatcoll-gmp20
Source: libgnatcoll-bindings
Version: 23.0.0-6
Installed-Size: 117
Maintainer: Nicolas Boulenguez
Architecture: amd64
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.2.1+dfsg1), libgnat-12 (>= 12.2.0)
Description: Ada binding for GMP big numbers (runtime)
Description-md5: ab3b58bd85a9f9ad2bfae3c36ae476ae
Multi-Arch: same
Homepage: https://github.com/AdaCore/gnatcoll-bindings
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/libg/libgnatcoll-bindings/libgnatcoll-gmp20_23.0.0-6_amd64.deb
Size: 28088
MD5sum: b7155f8e94b6a03a11a180ceedf8201d
SHA256: 898c769d9b5a79ed644e94921c16cee6d3aa37ee1bca6f2e0ea55dad88282e8f