How to Install and Uninstall gappa Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 10,2024

1. Install "gappa" package

Please follow the step by step instructions below to install gappa on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                gappa
            
                    
    
    Copied

2. Uninstall "gappa" package

This guide let you learn how to uninstall gappa on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                gappa
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the gappa package on Ubuntu 24.04 LTS (Noble Numbat)

Package: gappa
Architecture: amd64
Version: 1.4.1-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Math Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1335
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.2.1+dfsg), libmpfr6 (>= 3.1.3), libstdc++6 (>= 11), libjs-sphinxdoc (>= 4.3)
Filename: pool/universe/g/gappa/gappa_1.4.1-1_amd64.deb
Size: 421332
MD5sum: 4478ac5c94faf5fcd76cb0cb29436a84
SHA1: 6a6416a96d498a3f4b4908a43df6c699c0814f10
SHA256: 64dbe2057e135508db0aa1b936fbeec8c27c1212dadebb2142378fac708b8e97
SHA512: 92ea09c98314fc41ddaf29e5e9435a235848fdd5d375395f7f43c877e09478fa4cbf0e48c581d7f9333265785718374b95ad59df167feee5a75ed26f6ce9bda0
Homepage: https://gappa.gitlabpages.inria.fr
Description: Automatic generation of proofs of arithmetic properties
Description-md5: 10e13686e16d7ffca6b0e98cacd6f716