How to Install and Uninstall libcoq-mathcomp-zify Package on Kali Linux

Last updated: May 16,2024

1. Install "libcoq-mathcomp-zify" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-zify
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-zify" package

This guide let you learn how to uninstall libcoq-mathcomp-zify on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-zify
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-mathcomp-zify package on Kali Linux

Package: libcoq-mathcomp-zify
Source: mathcomp-zify (1.5.0+2.0+8.16-1)
Version: 1.5.0+2.0+8.16-1+b1
Installed-Size: 1324
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-mathcomp-zify-sump6
Depends: libcoq-mathcomp-algebra-rek99
Suggests: ocaml-findlib
Size: 239424
SHA256: 269601f2e1842165712d4b731cd224a09553a4774ed1a7e434fa6d79aa704b7a
SHA1: 9316139425c3c0e7465e21c35a8a4a4a33157b5d
MD5sum: 5a8fe98e19710d31b83af04770bdd393
Description: Micromega arithmetic solvers for Mathematical Components
This package enables the use of the micromega arithmetic solvers
of Coq for goals stated with the Mathematical Components library,
by extending the zify tactic.
.
The Mathematical Components library is a coherent repository of
general-purpose formalized mathematical theories for the
Coq proof assistant.
Description-md5:
Homepage: https://github.com/math-comp/mczify
Section: ocaml
Priority: optional
Filename: pool/main/m/mathcomp-zify/libcoq-mathcomp-zify_1.5.0+2.0+8.16-1+b1_amd64.deb