How to Install and Uninstall libcoq-stdpp Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 24,2024

1. Install "libcoq-stdpp" package

Please follow the guidance below to install libcoq-stdpp on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-stdpp
            
                    
    
    Copied

2. Uninstall "libcoq-stdpp" package

In this section, we are going to explain the necessary steps to uninstall libcoq-stdpp on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-stdpp
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-stdpp package on Ubuntu 22.10 (Kinetic Kudu)

Package: libcoq-stdpp
Architecture: amd64
Version: 1.8.0-1
Priority: optional
Section: universe/ocaml
Source: coq-stdpp
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 14953
Provides: libcoq-stdpp-vsjd0
Filename: pool/universe/c/coq-stdpp/libcoq-stdpp_1.8.0-1_amd64.deb
Size: 4680866
MD5sum: bc21e60af03cb2412ef7ec0ee710d774
SHA1: 775e6689385624d1b240071f1ed3cfadc4214bee
SHA256: 8ce0267e7ae9d8bfe3829ce61fd4dc7dc004c6e0d298211bc8b98c242ad40576
SHA512: 514f776dfbb9a18688913bc818d86ffb5f88beb9a2ac1d9af50a51f7be0da4873edf769cccf91ef5c23a2b1efbebd1bd1d5a8ed877b785ec93031996c36199dd
Homepage: https://gitlab.mpi-sws.org/iris/stdpp
Description: Extended standard library for Coq
Description-md5: 64f44b23554299b788dfa292c534d7fc