How to Install and Uninstall elpi Package on Kali Linux

Last updated: May 18,2024

1. Install "elpi" package

Please follow the steps below to install elpi on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpi
            
                    
    
    Copied

2. Uninstall "elpi" package

This tutorial shows how to uninstall elpi on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpi
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpi package on Kali Linux

Package: elpi
Source: elpi (1.17.4-3)
Version: 1.17.4-3+b1
Installed-Size: 7094
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: libelpi-ocaml (= 1.17.4-3+b1), libc6 (>= 2.35)
Size: 1452816
SHA256: 9f99c340928921e8abe123c8c1048de1bddffb8a8a8e25f4c47425e725df8fdb
SHA1: 3c6beccb825cc89538beb804eb553724620fdcbf
MD5sum: 35beacb2ab9368cddf295fb9bb4e75bc
Description: embeddable lambda-Prolog interpreter (tool)
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 command-line tool.
Description-md5:
Homepage: https://github.com/LPCIC/elpi
Section: ocaml
Priority: optional
Filename: pool/main/e/elpi/elpi_1.17.4-3+b1_amd64.deb