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

Last updated: September 19,2024

1. Install "libcoq-mathcomp-solvable" package

This is a short guide on how to install libcoq-mathcomp-solvable on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-solvable
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-solvable" package

This is a short guide on how to uninstall libcoq-mathcomp-solvable on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-solvable
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-mathcomp-solvable
Source: ssreflect (2.1.0-1)
Version: 2.1.0-1+b1
Installed-Size: 16755
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: libssreflect-coq
Provides: libcoq-mathcomp-solvable-39oa3
Depends: libcoq-mathcomp-algebra (= 2.1.0-1+b1), libcoq-hierarchy-builder-qv203, libcoq-stdlib-6gs52
Breaks: libssreflect-coq (<= 2.1.0-1+b1)
Size: 4657308
SHA256: 37e971706e19801109078c48c55f9e3b45f84d78f08e41f7d93cf33ec90c1eab
SHA1: 2e538ed6ff8a87f54020be9ab9fca22dac3a47f8
MD5sum: 0d8f7cd106b088bbfc52bf5831029583
Description: Mathematical Components library for Coq (finite groups II)
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 second finite groups theory part of the
library (abelian groups, center, commutator, Jordan-Holder series,
Sylow theorems...).
Description-md5:
Homepage: https://math-comp.github.io/math-comp/
Section: math
Priority: optional
Filename: pool/main/s/ssreflect/libcoq-mathcomp-solvable_2.1.0-1+b1_amd64.deb