How to Install and Uninstall libcoq-ext-lib Package on Debian 12 (Bookworm)

Last updated: November 26,2024

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

MX Linux 23
SparkyLinux

1. Install "libcoq-ext-lib" package

This is a short guide on how to install libcoq-ext-lib on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-ext-lib
            
                    
    
    Copied

2. Uninstall "libcoq-ext-lib" package

Here is a brief guide to show you how to uninstall libcoq-ext-lib on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-ext-lib
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-ext-lib package on Debian 12 (Bookworm)

Package: libcoq-ext-lib
Source: coq-ext-lib (0.11.7-2)
Version: 0.11.7-2+b1
Installed-Size: 3659
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-ext-lib-usvi5
Depends: libcoq-stdlib-ewsr6
Description: Collection of theories and plugins for Coq
Description-md5: 7ead45ffb4ed1a615db956ed9c7fb053
Homepage: https://github.com/coq-community/coq-ext-lib
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-ext-lib/libcoq-ext-lib_0.11.7-2+b1_amd64.deb
Size: 758316
MD5sum: 7a0d1eb934e53b74444314d95ead8168
SHA256: 84a9b224034c0474bfd8f48f503b348edf8af394f114bc78631f3679fb8704c9