How to Install and Uninstall elpi Package on Debian 12 (Bookworm)

Last updated: May 17,2024

You can also install and uninstall the elpi on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "elpi" package

This guide let you learn how to install elpi on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpi
            
                    
    
    Copied

2. Uninstall "elpi" package

Please follow the steps below to uninstall elpi on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpi
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpi package on Debian 12 (Bookworm)

Package: elpi
Source: elpi (1.16.8-1)
Version: 1.16.8-1+b2
Installed-Size: 7733
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: libelpi-ocaml (= 1.16.8-1+b2), libc6 (>= 2.35)
Description: embeddable lambda-Prolog interpreter (tool)
Description-md5: f7bf6d601995cf75b1c02c4c67a89060
Homepage: https://github.com/LPCIC/elpi
Section: ocaml
Priority: optional
Filename: pool/main/e/elpi/elpi_1.16.8-1+b2_amd64.deb
Size: 1553540
MD5sum: b44cab00d75cb2962804eddc7eb0733c
SHA256: 2793b1f3c841e094f4004a45a88e2f861472056c1ef32c979745428c125cf2a9