How to Install and Uninstall libelpi-ocaml Package on Kali Linux

Last updated: May 21,2024

1. Install "libelpi-ocaml" package

Please follow the instructions below to install libelpi-ocaml on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libelpi-ocaml
            
                    
    
    Copied

2. Uninstall "libelpi-ocaml" package

In this section, we are going to explain the necessary steps to uninstall libelpi-ocaml on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libelpi-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libelpi-ocaml package on Kali Linux

Package: libelpi-ocaml
Source: elpi (1.17.4-3)
Version: 1.17.4-3+b1
Installed-Size: 15649
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libelpi-ocaml-a4fh3
Depends: libppx-deriving-ocaml-qsyd4, libsexplib0-ocaml-3nli0, libstdlib-ocaml-ep7y0, ocaml-base-4.14.1
Recommends: ocaml-findlib
Size: 3799104
SHA256: 3c75b7d7574ef876cc84e152732ee95be4566c2ef45337c0f25954d469be1e3e
SHA1: f8b23331cea4823fd703ce936d5bdec62729081f
MD5sum: a3f6a857e74ca9e0cc3a090e453c9b2e
Description: embeddable lambda-Prolog interpreter (runtime files)
ELPI implements a lambda-Prolog interpreter enriched with
constraint handling rules, to provide an extension language
to larger applications written in OCaml.
.
This package provides the runtime files.
Description-md5:
Homepage: https://github.com/LPCIC/elpi
Section: ocaml
Priority: optional
Filename: pool/main/e/elpi/libelpi-ocaml_1.17.4-3+b1_amd64.deb