How to Install and Uninstall libcoq-stdlib Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: December 28,2024

You can also install and uninstall the libcoq-stdlib on the following distributions in the same way, as they are all based on the Ubuntu system

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "libcoq-stdlib" package

This is a short guide on how to install libcoq-stdlib on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-stdlib
            
                    
    
    Copied

2. Uninstall "libcoq-stdlib" package

Please follow the step by step instructions below to uninstall libcoq-stdlib on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-stdlib package on Ubuntu 22.04 LTS (Jammy Jellyfish)

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