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

Last updated: December 23,2024

You can also install and uninstall the libgnatcoll-gmp20 on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libgnatcoll-gmp20" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libgnatcoll-gmp20
            
                    
    
    Copied

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
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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