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

Last updated: May 20,2024

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

MX Linux 23
SparkyLinux

1. Install "libcoq-elpi" package

Learn how to install libcoq-elpi on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-elpi
            
                    
    
    Copied

2. Uninstall "libcoq-elpi" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-elpi
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-elpi
Source: coq-elpi (1.16.0-2)
Version: 1.16.0-2+b1
Installed-Size: 18042
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-elpi-rwjh9
Depends: libelpi-ocaml-dev, libcoq-core-ocaml-dev (>= 8.15), libcoq-stdlib-ewsr6, libcoq-core-ocaml-cpf60, libelpi-ocaml-uc3b1, libzarith-ocaml-4dps0, ocaml-base-4.13.1
Description: Coq plugin embedding Elpi
Description-md5: ff0392105ab4f5504e712b1b6f15deec
Homepage: https://github.com/LPCIC/coq-elpi
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-elpi/libcoq-elpi_1.16.0-2+b1_amd64.deb
Size: 2428696
MD5sum: f74b87ce63443cb414436b10ab4d78f8
SHA256: 4af797d69fd2deadaf5594287c7926dbaad46f8ed7483b611d3aa64023ba6e49