How to Install and Uninstall libcoq-stdlib Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: July 08,2024

1. Install "libcoq-stdlib" package

Please follow the guidance below to install libcoq-stdlib on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-stdlib
            
                    
    
    Copied

2. Uninstall "libcoq-stdlib" package

This is a short guide on how to uninstall libcoq-stdlib on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-stdlib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-stdlib package on Ubuntu 22.10 (Kinetic Kudu)

Package: libcoq-stdlib
Architecture: amd64
Version: 8.15.2+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: 139413
Provides: coq-theories (= 8.15.2+dfsg-2), libcoq-stdlib-95ec4
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.2+dfsg-2_amd64.deb
Size: 24455614
MD5sum: 27127440f39c8ef5b1929e9429a21116
SHA1: 9e7da235b4a448b1f7e596001669e0ff31a67347
SHA256: 0b10facd748aae9554973d9c0aeeeebfe6fa897b7b46819daff46bf4340a98a8
SHA512: be31559e43fd38f71ba2509729fbb308560b2dc8775ff6313f14d5af2e051bf489c36c79aba772702470751510d833880fd7e8cc75a5a68b2f4459b4532f5b45
Homepage: http://coq.inria.fr/
Description: proof assistant for higher-order logic (theories)
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e