How to Install and Uninstall libcoq-gappa Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 26,2024

1. Install "libcoq-gappa" package

Please follow the guidelines below to install libcoq-gappa on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-gappa
            
                    
    
    Copied

2. Uninstall "libcoq-gappa" package

In this section, we are going to explain the necessary steps to uninstall libcoq-gappa on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-gappa
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-gappa package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcoq-gappa
Architecture: amd64
Version: 1.5.3-1build1
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: 2116
Provides: libcoq-gappa-e4um2
Depends: gappa, libcoq-flocq-sw7r5, libcoq-stdlib-zp202
Filename: pool/universe/c/coq-gappa/libcoq-gappa_1.5.3-1build1_amd64.deb
Size: 599974
MD5sum: c6e4b750199f118607162d1a3064e043
SHA1: 43704dd70fed8c61d95b0c46c6e0dde106dc6ea0
SHA256: 9096c46ae533a9b20650a2a12b1977e4603a7c557bc7caac6ebbd154dc85f97e
SHA512: 4eff0564dc41cb028cb10cd3b71e5d3bcef3b7cbeb2e592fad783d11540f06dc31530d444517f1739a447ea6cc556b8a5679b6266141a539f03836f39a2a5283
Homepage: https://gappa.gitlabpages.inria.fr
Description: Coq tactic to use Gappa for floating-point goals
Description-md5: d29401f049a277a5f2cc3ee885c0c926