How to Install and Uninstall elpi Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: December 22,2024

1. Install "elpi" package

Please follow the step by step instructions below to install elpi on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpi
            
                    
    
    Copied

2. Uninstall "elpi" package

Please follow the guidance below to uninstall elpi on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpi
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpi package on Ubuntu 24.04 LTS (Noble Numbat)

Package: elpi
Architecture: amd64
Version: 1.17.4-3build1
Priority: optional
Section: universe/ocaml
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 7081
Depends: libelpi-ocaml (= 1.17.4-3build1), libc6 (>= 2.38)
Filename: pool/universe/e/elpi/elpi_1.17.4-3build1_amd64.deb
Size: 1643600
MD5sum: dab24fafa6ca4c9ff8a9c7c18373d0d2
SHA1: 53aca9fd7b66ee264b2f2579359611bdea5db469
SHA256: d1da29d309a958f0816ee502992c1ab4f581b18dfd055da018038dae4ec00c73
SHA512: 2996fbda62361bc4d699e40eefbceba39f0db1dc5ef3b51dd9af4da65d32da41f46729349240f0c1af3d26f8aae6572d271563e92d023a4c1a4e927b1d76c76b
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (tool)
Description-md5: f7bf6d601995cf75b1c02c4c67a89060