How to Install and Uninstall libcoq-stdpp Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 07,2024

1. Install "libcoq-stdpp" package

In this section, we are going to explain the necessary steps to install libcoq-stdpp on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-stdpp
            
                    
    
    Copied

2. Uninstall "libcoq-stdpp" package

This tutorial shows how to uninstall libcoq-stdpp on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-stdpp
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-stdpp package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcoq-stdpp
Architecture: amd64
Version: 1.8.0-4build1
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: 14952
Provides: libcoq-stdpp-b0fn6
Depends: libcoq-stdlib-zp202
Filename: pool/universe/c/coq-stdpp/libcoq-stdpp_1.8.0-4build1_amd64.deb
Size: 4694568
MD5sum: 82f6c6b6bdf6cc2526848715fb5828d9
SHA1: 007758b9b5a840a05c9ed413bc24ecb18b354c1c
SHA256: 34a6ea60b8cc8acca343d85285677bcccea681874aaf0f1697179f65dd1c99c2
SHA512: ed8484c66e32a3c58070a00123f1ef41d2584a5af1c1f0e2cdb720707d15e7392387d42f96d5676856ddf13c155a6b965bd874f5b65ff57b7f2aaebb85508821
Homepage: https://gitlab.mpi-sws.org/iris/stdpp
Description: Extended standard library for Coq
Description-md5: 64f44b23554299b788dfa292c534d7fc