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

Last updated: December 29,2024

1. Install "libcoq-flocq" package

Please follow the step by step instructions below to install libcoq-flocq on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-flocq
            
                    
    
    Copied

2. Uninstall "libcoq-flocq" package

This tutorial shows how to uninstall libcoq-flocq on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-flocq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-flocq
Source: flocq
Version: 4.1.3-1
Installed-Size: 9815
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-flocq-ed225
Depends: libcoq-stdlib-6gs52
Size: 3288432
SHA256: e313274ece66d4d3d7dc81b57808716f6d0df8ace8e8baa74834acc2e1e13133
SHA1: 652a7930b16b40bec6f1192c4f07798fae79595e
MD5sum: 1be3d2f72ecf6e1e53334ba31ddcbaf8
Description: Floating-point arithmetic for Coq
Flocq provides a formalization of floating-point arithmetic
for Coq, in the form of a comprehensive library of
theorems on a multi-radix multi-precision arithmetic,
with efficient numerical computations.
.
Coq is a proof assistant for higher-order logic.
Description-md5:
Homepage: https://flocq.gitlabpages.inria.fr/
Section: ocaml
Priority: optional
Filename: pool/main/f/flocq/libcoq-flocq_4.1.3-1_amd64.deb