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

Last updated: December 30,2024

1. Install "libcoq-coquelicot" package

Please follow the guidelines below to install libcoq-coquelicot on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-coquelicot
            
                    
    
    Copied

2. Uninstall "libcoq-coquelicot" package

Please follow the steps below to uninstall libcoq-coquelicot on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-coquelicot
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-coquelicot
Source: coquelicot (3.4.1-1)
Version: 3.4.1-1+b1
Installed-Size: 13637
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-coquelicot-ged70
Depends: libcoq-mathcomp-ssreflect-v1az1
Size: 3277628
SHA256: bc17834a48a9817e83f8ac1b37eee61dd5b039a69078d816750cc6abea7524bb
SHA1: 08139ac47125351f9318eede333cd17d887c1c83
MD5sum: 89dc938190180c9b2e3f47faebf1fc20
Description: Coq library for real analysis
This package provides a formalization of real analysis compatible
with the Coq standard library.
.
Coq is a proof assistant for higher-order logic.
Description-md5:
Homepage: https://coquelicot.saclay.inria.fr/
Section: ocaml
Priority: optional
Filename: pool/main/c/coquelicot/libcoq-coquelicot_3.4.1-1+b1_amd64.deb