How to Install and Uninstall libcoq-stdlib Package on Kali Linux

Last updated: May 19,2024

1. Install "libcoq-stdlib" package

This guide covers the steps necessary to install libcoq-stdlib on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-stdlib
            
                    
    
    Copied

2. Uninstall "libcoq-stdlib" package

Please follow the steps below to uninstall libcoq-stdlib on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-stdlib package on Kali Linux

Package: libcoq-stdlib
Source: coq
Version: 8.18.0+dfsg-1
Installed-Size: 156418
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: coq-libs (<< 8.2.pl1), coq-theories
Provides: coq-theories (= 8.18.0+dfsg-1), libcoq-stdlib-6gs52
Recommends: coq
Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1), coq-theories
Size: 23237712
SHA256: 66307b7f1c3ae3fc13f48050c4c122600c18a6ba850b923d568b4567d8c5a959
SHA1: ab79a69887e9173faca2150be65991f65a8e1784
MD5sum: db62e677633b4f689213ea167ed07947
Description: proof assistant for higher-order logic (theories)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
.
This package provides existing theories that new proofs can be
based upon, including theories of arithmetic and Boolean values.
Description-md5:
Homepage: http://coq.inria.fr/
Section: math
Priority: optional
Filename: pool/main/c/coq/libcoq-stdlib_8.18.0+dfsg-1_amd64.deb