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

Last updated: December 23,2024

1. Install "libcoq-mathcomp-field" package

Please follow the steps below to install libcoq-mathcomp-field on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-field
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-field" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-field
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-field
Source: ssreflect (2.1.0-1)
Version: 2.1.0-1+b1
Installed-Size: 11004
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: libssreflect-coq
Provides: libcoq-mathcomp-field-rmnb8
Depends: libcoq-mathcomp-solvable (= 2.1.0-1+b1), libcoq-hierarchy-builder-qv203, libcoq-stdlib-6gs52
Breaks: libssreflect-coq (<= 2.1.0-1+b1)
Size: 3041216
SHA256: 62b47be20c98e3695e7d26be9aca02a7e5405e966a8e9d400f5b11c24ce2cc6d
SHA1: 4c0160e41b12cd201588fd8e920ddcf14c162f15
MD5sum: 5ae2c65014a7b10e223e4ec3cf621649
Description: Mathematical Components library for Coq (field)
The Mathematical Components Library is an extensive and coherent
repository of formalized mathematical theories. It is based on the
Coq proof assistant, powered with the Coq/SSReflect language.
.
These formal theories cover a wide spectrum of topics, ranging from
the formal theory of general-purpose data structures like lists,
prime numbers or finite graphs, to advanced topics in algebra.
.
The formalization technique adopted in the library, called "small
scale reflection", leverages the higher-order nature of Coq's
underlying logic to provide effective automation for many small,
clerical proof steps. This is often accomplished by restating
("reflecting") problems in a more concrete form, hence the name. For
example, arithmetic comparison is not an abstract predicate, but
rather a function computing a Boolean.
.
This package installs the field theory part of the library
(field extensions, Galois theory, algebraic numbers, cyclotomic
polynomials).
Description-md5:
Homepage: https://math-comp.github.io/math-comp/
Section: math
Priority: optional
Filename: pool/main/s/ssreflect/libcoq-mathcomp-field_2.1.0-1+b1_amd64.deb