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

Last updated: November 26,2024

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

MX Linux 23
SparkyLinux

1. Install "libcoq-gappa" package

Please follow the guidelines below to install libcoq-gappa on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-gappa
            
                    
    
    Copied

2. Uninstall "libcoq-gappa" package

This guide covers the steps necessary to uninstall libcoq-gappa on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-gappa
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-gappa
Source: coq-gappa (1.5.2-5)
Version: 1.5.2-5+b1
Installed-Size: 2117
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-gappa-nbis3
Depends: gappa, libcoq-flocq-g8nw3, libcoq-stdlib-ewsr6
Description: Coq tactic to use Gappa for floating-point goals
Description-md5: d29401f049a277a5f2cc3ee885c0c926
Homepage: https://gappa.gitlabpages.inria.fr
Section: math
Priority: optional
Filename: pool/main/c/coq-gappa/libcoq-gappa_1.5.2-5+b1_amd64.deb
Size: 515836
MD5sum: 6e342cfd4e93ae41b611f0312f91b86d
SHA256: 8dce48f36b8d6b5742e56dfb547e2bb8b07045177121ab385cb04f9c793346d0