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

Last updated: December 25,2024

1. Install "libcoq-stdpp" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-stdpp
            
                    
    
    Copied

2. Uninstall "libcoq-stdpp" package

This guide covers the steps necessary to uninstall libcoq-stdpp on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-stdpp
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-stdpp
Source: coq-stdpp
Version: 1.9.0-1
Installed-Size: 17096
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-stdpp-a3pv7
Depends: libcoq-stdlib-6gs52
Size: 4526836
SHA256: 101f5a5efaa481045a574f0d1ae5e8b0aa5dc47afef44e4b818ce6b3d88a7d6d
SHA1: 2781b5c38ea5b903596a9fbc41865cfd5b21b9f5
MD5sum: 9624db0205a90124ca272478b8003944
Description: Extended standard library for Coq
This package provides an extended standard library
for Coq, for instance:
- a great number of definitions and lemmas for common data
structures like lists, finite maps and finite multisets ;
- type classes for common properties like decidable equality,
finiteness or countability ;
- various tactics for common tasks ;
all of this dependency-free and axiom-free.
.
Coq is a proof assistant for higher-order logic.
Description-md5:
Homepage: https://gitlab.mpi-sws.org/iris/stdpp
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-stdpp/libcoq-stdpp_1.9.0-1_amd64.deb