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

Last updated: May 18,2024

1. Install "libcoq-mathcomp-algebra-tactics" package

This guide let you learn how to install libcoq-mathcomp-algebra-tactics on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-algebra-tactics
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-algebra-tactics" package

Please follow the steps below to uninstall libcoq-mathcomp-algebra-tactics on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-algebra-tactics
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-algebra-tactics
Source: mathcomp-algebra-tactics (1.2.3-1)
Version: 1.2.3-1+b1
Installed-Size: 2093
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-mathcomp-algebra-tactics-fbdz3
Depends: libcoq-elpi-jdhg1, libcoq-mathcomp-algebra-rek99, libcoq-mathcomp-ssreflect-v1az1, libcoq-mathcomp-zify-sump6
Suggests: ocaml-findlib
Size: 517852
SHA256: 78558452c5b17c31e52dca2cbaf2e5b3774122adddc780274e1d347232fd3e2e
SHA1: 5629f1285cba3884eab8e4fd6df67b52deab0293
MD5sum: a0ad57e2114a32660f1c7a29ea19cf4c
Description: Ring and field tactics for Mathematical Components
This package provides the 'ring' and 'field' tactics for
the Mathematical Components library, that work for any instance
of 'comRingType' and 'fieldType' through canonical structure inference.
.
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/algebra-tactics
Section: ocaml
Priority: optional
Filename: pool/main/m/mathcomp-algebra-tactics/libcoq-mathcomp-algebra-tactics_1.2.3-1+b1_amd64.deb