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

Last updated: November 07,2024

1. Install "libcoq-stdlib" package

Learn how to install libcoq-stdlib on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-stdlib
            
                    
    
    Copied

2. Uninstall "libcoq-stdlib" package

This guide let you learn how to uninstall libcoq-stdlib on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-stdlib
Architecture: amd64
Version: 8.17.0+dfsg-1build1
Priority: optional
Section: universe/math
Source: coq
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 172772
Provides: coq-theories (= 8.17.0+dfsg-1build1), libcoq-stdlib-zp202
Recommends: coq (>= 8.0)
Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1), coq-theories
Replaces: coq-libs (<< 8.2.pl1), coq-theories
Filename: pool/universe/c/coq/libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb
Size: 28438518
MD5sum: c144ff7f939e205b75f12e184321f8a8
SHA1: 3ef60eb3d8390c65e5753f4dd71ece0426763d98
SHA256: 1883b2cd8a97c8e0bcf38459229c9d0c24a5a1e592f0ce73af7a731bf7607f3b
SHA512: f3be35a098fddb71b24b63c2d22c8e5564941223a46a35eb2754cdb254116212409f17b47de6c58d14838c611580852ef3e08afb26531e53d69ecb1d2e8dd542
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (theories)
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e