How to Install and Uninstall libcoq-elpi Package on Kali Linux

Last updated: May 20,2024

1. Install "libcoq-elpi" package

This guide covers the steps necessary to install libcoq-elpi on Kali Linux


    
        
            $
        

        
            
                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 Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-elpi
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-elpi package on Kali Linux

Package: libcoq-elpi
Source: coq-elpi (1.19.3-2)
Version: 1.19.3-2+b1
Installed-Size: 19358
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-elpi-jdhg1
Depends: libelpi-ocaml-dev, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib-6gs52, libcoq-core-ocaml-fg9y1, libelpi-ocaml-a4fh3, libstdlib-ocaml-ep7y0, libzarith-ocaml-zlfv4
Size: 2576576
SHA256: bb41df6a96045c9989428008f9e09c8805d52801b1e003bcdd706e7d020765b0
SHA1: 787ff3ab78b7f19bdda7960cc2659963e43c56f2
MD5sum: 99381e534900638d42f9c1a74b544e2f
Description: Coq plugin embedding Elpi
This package makes it possible to define new commands and tactics
for Coq in Elpi.
.
Elpi implements a lambda-Prolog interpreter enriched with
constraint handling rules.
.
Coq is a proof assistant for higher-order logic.
Description-md5:
Homepage: https://github.com/LPCIC/coq-elpi
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-elpi/libcoq-elpi_1.19.3-2+b1_amd64.deb