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

Last updated: November 23,2024

Deprecated! Installation of this package may no longer be supported.

1. Install "libcoq-elpi-ocaml-dev" package

Please follow the steps below to install libcoq-elpi-ocaml-dev on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-elpi-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libcoq-elpi-ocaml-dev" package

This guide covers the steps necessary to uninstall libcoq-elpi-ocaml-dev on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-elpi-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-elpi-ocaml-dev
Source: coq-elpi (1.14.0-5)
Version: 1.14.0-5+b1
Installed-Size: 5887
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-elpi-ocaml-dev-my8u0
Depends: libcoq-core-ocaml-dev-0hk34, libcoq-elpi-ocaml-my8u0, libelpi-ocaml-dev-kwh10, libmenhir-ocaml-dev-dyfe5, libppx-deriving-ocaml-dev-joqg1, libre-ocaml-dev-w4yg7, libzarith-ocaml-dev-4dps0, ocaml-4.13.1, libcoq-elpi-ocaml (= 1.14.0-5+b1)
Size: 1313100
SHA256: aedb49f0afdfed7f09ade352c7d638b7fd7bfb1696b23ee361a2871e1d799e63
SHA1: 5513811d66010d0d7495a6a83331adcae8b382bb
MD5sum: 999e33c429fd90241539c1b8371d1274
Description: Coq plugin embedding Elpi (devel)
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.
.
This package provides libraries needed to develop
for the elpi plugin.
Description-md5: 921a00dd97c8664abed4426a51c9899e
Homepage: https://github.com/LPCIC/coq-elpi
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-elpi/libcoq-elpi-ocaml-dev_1.14.0-5+b1_amd64.deb