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

Last updated: December 27,2024

1. Install "libcoq-ext-lib" package

Here is a brief guide to show you how to install libcoq-ext-lib on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-ext-lib
            
                    
    
    Copied

2. Uninstall "libcoq-ext-lib" package

Please follow the steps below to uninstall libcoq-ext-lib on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-ext-lib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-ext-lib
Architecture: amd64
Version: 0.11.7-1
Priority: optional
Section: universe/ocaml
Source: coq-ext-lib
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 3684
Provides: libcoq-ext-lib-zaj07
Depends: libcoq-stdlib-95ec4
Filename: pool/universe/c/coq-ext-lib/libcoq-ext-lib_0.11.7-1_amd64.deb
Size: 855830
MD5sum: ccae3eda19f4e299c9d572ea86443b36
SHA1: dc0c65721320475b19e62bc5a2522c80a7071df0
SHA256: d5736aa6711d16f2ee534812df7f4fe476ec3a354d3165efed261614709fa89d
SHA512: 99902e3d52d4fb72a12945b767744ca0fe2e73c23e5c1bca8a6213f8d80efbd3b413cc494d9e56633a1bfbd7b3653d6f82101bf33d5c9157388833c23e5474bd
Homepage: https://github.com/coq-community/coq-ext-lib
Description: Collection of theories and plugins for Coq
Description-md5: 7ead45ffb4ed1a615db956ed9c7fb053