How to Install and Uninstall libcoq-stdlib Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: December 29,2024

1. Install "libcoq-stdlib" package

Please follow the instructions below to install libcoq-stdlib on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-stdlib
            
                    
    
    Copied

2. Uninstall "libcoq-stdlib" package

In this section, we are going to explain the necessary steps to uninstall libcoq-stdlib on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-stdlib package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcoq-stdlib
Architecture: amd64
Version: 8.18.0+dfsg-1
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: 156419
Provides: coq-theories (= 8.18.0+dfsg-1), libcoq-stdlib-ncp86
Recommends: coq
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.18.0+dfsg-1_amd64.deb
Size: 35221352
MD5sum: 3df4eb584044ea102aa0c62636dca0b3
SHA1: 35b0363cd6a8b842f0320334bace45ef9e200fa0
SHA256: 1ee04401a5e2a584527ddf704759fc4182eb133860effd0873eabbd54bad2623
SHA512: 3577de15748c06e6c8b89dcd4aea5949bd53dcd1eb44ec746e769f047ff01aa8c54f3e2b8be8355f828beaef83f5ca81a1f75f54c6aec55e260912520077c700
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (theories)
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e