How to Install and Uninstall elpi Package on Linux Mint 21.3 (Virginia)

Last updated: February 02,2025

1. Install "elpi" package

This tutorial shows how to install elpi on Linux Mint 21.3 (Virginia)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpi
            
                    
    
    Copied

2. Uninstall "elpi" package

In this section, we are going to explain the necessary steps to uninstall elpi on Linux Mint 21.3 (Virginia):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpi
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpi package on Linux Mint 21.3 (Virginia)

Package: elpi
Architecture: amd64
Version: 1.14.1-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: 4310
Depends: libc6 (>= 2.35), libelpi-ocaml (= 1.14.1-1)
Filename: pool/universe/e/elpi/elpi_1.14.1-1_amd64.deb
Size: 1221096
MD5sum: 1669a5f71c794f8f60049ae02c7df1a4
SHA1: d91ae81a80f93edc0eef2a5fd6ff7d0b49c84f1f
SHA256: 76971df95f12c3579e3d21d4dac77cfae51d747cccfb322c83b3a7a3a77e791b
SHA512: 0471602afc8ecfa182eff0e0b830f3da15dcf206c4751be3a6a82d6dd9c69712accd833d339a6e00c2363dd298780d158a3d1b3af8697531d9b101f9e768d576
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (tool)
Description-md5: f7bf6d601995cf75b1c02c4c67a89060