How to Install and Uninstall gappa Package on Debian 12 (Bookworm)

Last updated: May 11,2024

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

MX Linux 23
SparkyLinux

1. Install "gappa" package

In this section, we are going to explain the necessary steps to install gappa on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                gappa
            
                    
    
    Copied

2. Uninstall "gappa" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                gappa
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the gappa package on Debian 12 (Bookworm)

Package: gappa
Version: 1.4.1-1
Installed-Size: 1456
Maintainer: Debian Math Team
Architecture: amd64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.2.1+dfsg1), libmpfr6 (>= 3.1.3), libstdc++6 (>= 11), libjs-sphinxdoc (>= 4.3)
Description: Automatic generation of proofs of arithmetic properties
Description-md5: 10e13686e16d7ffca6b0e98cacd6f716
Homepage: https://gappa.gitlabpages.inria.fr
Section: math
Priority: optional
Filename: pool/main/g/gappa/gappa_1.4.1-1_amd64.deb
Size: 435600
MD5sum: 9333e7c911304e2dd7be63d8192283ed
SHA256: 5b1d657c9adcd54011416fa529e433b3a0790911443cde7a5d90d32a762f5edc