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

Last updated: May 17,2024

1. Install "libcoq-mathcomp-multinomials" package

Please follow the guidance below to install libcoq-mathcomp-multinomials on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-multinomials
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-multinomials" package

Learn how to uninstall libcoq-mathcomp-multinomials on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-multinomials
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-multinomials
Source: mathcomp-multinomials (2.2.0-1)
Version: 2.2.0-1+b1
Installed-Size: 3781
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-mathcomp-multinomials-bc0j7
Depends: libcoq-mathcomp-algebra-rek99, libcoq-mathcomp-bigenough-ioid3, libcoq-mathcomp-finmap-l3vo9, libcoq-mathcomp-ssreflect-v1az1
Suggests: ocaml-findlib
Size: 1426604
SHA256: 11bab8106d189d53c2ce5399fc66d5d9c474ffc58a827503b25b89278f258886
SHA1: 433fb9704841ac3bfcdcad7b401386e0f563eee6
MD5sum: c865bda3fd7e2f0c8355caea13fbb037
Description: Multivariate polynomials for Mathematical Components
This package provides an extension to Mathematical Components
for monomial algebra, multivariate polynomials over ring
structures and an extended theory for polynomials whose
coefficients live in abelian rings and integral domains.
.
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/multinomials
Section: ocaml
Priority: optional
Filename: pool/main/m/mathcomp-multinomials/libcoq-mathcomp-multinomials_2.2.0-1+b1_amd64.deb