How to Install and Uninstall libgnatcoll-gmp20-dev Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 19,2024

1. Install "libgnatcoll-gmp20-dev" package

Here is a brief guide to show you how to install libgnatcoll-gmp20-dev on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libgnatcoll-gmp20-dev
            
                    
    
    Copied

2. Uninstall "libgnatcoll-gmp20-dev" package

This guide let you learn how to uninstall libgnatcoll-gmp20-dev on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libgnatcoll-gmp20-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libgnatcoll-gmp20-dev package on Ubuntu 22.10 (Kinetic Kudu)

Package: libgnatcoll-gmp20-dev
Architecture: amd64
Version: 22.0.0-4
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: 337
Depends: libgnatcoll20-dev, libgmp-dev, gnat (>= 11), gnat (<< 12), libgnatcoll-gmp20 (= 22.0.0-4)
Filename: pool/universe/libg/libgnatcoll-bindings/libgnatcoll-gmp20-dev_22.0.0-4_amd64.deb
Size: 46502
MD5sum: d650196121d48da45642cfc5ee2edc67
SHA1: 90fac8dc6bfa99998e53efdc68aa528503a0db5a
SHA256: 4858bb11daff05c511ddd570f5408843a8cecf0703d78d65c3a8fa54775cee1d
SHA512: c40721d907764783d53b527f041fec989e1f0fada899be5bf8b25fe006ecba77a256ac46ae2b73cd869335785d207d1a69aab3139d345edfdd6ef969b48459b6
Homepage: https://github.com/AdaCore/gnatcoll-bindings
Description: Ada binding for GMP big numbers (development)
Description-md5: fd21276af43fd168459e18c2876feb2e