How to Install and Uninstall libcoq-stdlib Package on Linux Mint 21 (Vanessa)

Last updated: May 17,2024

1. Install "libcoq-stdlib" package

This tutorial shows how to install libcoq-stdlib on Linux Mint 21 (Vanessa)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-stdlib
            
                    
    
    Copied

2. Uninstall "libcoq-stdlib" package

Please follow the guidelines below to uninstall libcoq-stdlib on Linux Mint 21 (Vanessa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-stdlib package on Linux Mint 21 (Vanessa)

Package: libcoq-stdlib
Architecture: amd64
Version: 8.15.0+dfsg-2
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: 139397
Provides: coq-theories (= 8.15.0+dfsg-2)
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.15.0+dfsg-2_amd64.deb
Size: 24695142
MD5sum: 25d637cf71cb394bcc8e9b9b7de6d077
SHA1: ae3f865d0a4218af09a1f953b2405f42c339db8d
SHA256: 71d6987181c5cfedf560d82867ea8fdc0aa9a3e3a80177c4d85f1886d5494fbd
SHA512: c3d33bb0b525260aa181d5604dd1a066bcac2ec56947cb5811a4591e9e1f4566911f4714d7146b1218d5bb64145b275065a169c47d2d188b6f0937fc8ec3c66f
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (theories)
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e