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

Last updated: July 03,2024

1. Install "libcoq-gappa" package

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


    
        
            $
        

        
            
                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 Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-gappa
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-gappa
Architecture: amd64
Version: 1.5.4-1
Priority: optional
Section: universe/math
Source: coq-gappa
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2088
Provides: libcoq-gappa-c3k50
Depends: gappa, libcoq-flocq-1i130, libcoq-stdlib-ncp86
Filename: pool/universe/c/coq-gappa/libcoq-gappa_1.5.4-1_amd64.deb
Size: 679496
MD5sum: f14495a58849860e70ad49f7d083cb9c
SHA1: abe2af844ad83d6294a76a45ab77543bd7fcf736
SHA256: a6d4e5b0df38521960875a86f03c9f3efb3f089490bc5e6feaab188343948866
SHA512: 82128ee611c65e107e2a935f2cba6fbc1d95afb6e1a617b02e7e57d614dacda79c9fa4f9698c5f2bf965e80645d2b4b91964d2e9fa88cd205c9a126e0ed21e2a
Homepage: https://gappa.gitlabpages.inria.fr
Description: Coq tactic to use Gappa for floating-point goals
Description-md5: d29401f049a277a5f2cc3ee885c0c926