How to Install and Uninstall libcoq-gappa Package on Kali Linux

Last updated: July 01,2024

1. Install "libcoq-gappa" package

This guide covers the steps necessary to install libcoq-gappa on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-gappa
            
                    
    
    Copied

2. Uninstall "libcoq-gappa" package

Here is a brief guide to show you how to uninstall libcoq-gappa on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-gappa
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-gappa package on Kali Linux

Package: libcoq-gappa
Source: coq-gappa
Version: 1.5.4-1
Installed-Size: 2092
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-gappa-dxp88
Depends: gappa, libcoq-flocq-ed225, libcoq-stdlib-6gs52
Size: 495664
SHA256: 58e51c7492169d6dd142b065d8776e9d17a972a76f6afe920dc7564e3164bcfe
SHA1: 15d55c734fc2f5433ec703291bf332b73c99d3a1
MD5sum: 01f7138eeeb62c7897705b5a972e3737
Description: Coq tactic to use Gappa for floating-point goals
This package provides a Coq tactic to discharge goals about
floating-point arithmetic and round-off errors to Gappa.
.
Gappa is a prover for numerical properties.
.
Coq is a proof assistant for higher-order logic.
Description-md5:
Homepage: https://gappa.gitlabpages.inria.fr
Section: math
Priority: optional
Filename: pool/main/c/coq-gappa/libcoq-gappa_1.5.4-1_amd64.deb