How to Install and Uninstall elpi Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 20,2024

1. Install "elpi" package

In this section, we are going to explain the necessary steps to install elpi on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpi
            
                    
    
    Copied

2. Uninstall "elpi" package

Please follow the guidelines below to uninstall elpi on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpi
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpi package on Ubuntu 22.10 (Kinetic Kudu)

Package: elpi
Architecture: amd64
Version: 1.16.5-1
Priority: optional
Section: universe/ocaml
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 7745
Depends: libelpi-ocaml (= 1.16.5-1), libc6 (>= 2.35)
Filename: pool/universe/e/elpi/elpi_1.16.5-1_amd64.deb
Size: 1783802
MD5sum: 4328b6346e1fad37e9ac374048e1392e
SHA1: 76b06fe31abe1724937d73f346b9e75c14a93a5f
SHA256: de775f2a2977803151f683c9b6ddf2396c4bc212dd24ba82c9715431e338765f
SHA512: 28c0e8d2b5b8c09bfe0ef1ffb59fa59ced023f4981e12ebaba9770edd087bcf301434483390169380c46f9727742e320c26c703dc33eaf8d0f04e0a5dcb520be
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (tool)
Description-md5: f7bf6d601995cf75b1c02c4c67a89060