How to Install and Uninstall elpi Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 22,2024

1. Install "elpi" package

Please follow the guidelines below to install elpi on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                elpi
            
                    
    
    Copied

2. Uninstall "elpi" package

Please follow the steps below to uninstall elpi on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                elpi
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the elpi package on Ubuntu 23.10 (Mantic Minotaur)

Package: elpi
Architecture: amd64
Version: 1.17.0-1build4
Priority: optional
Section: universe/ocaml
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 7294
Depends: libelpi-ocaml (= 1.17.0-1build4), libc6 (>= 2.38)
Filename: pool/universe/e/elpi/elpi_1.17.0-1build4_amd64.deb
Size: 1673766
MD5sum: 17107f814beee3117f973564dc352802
SHA1: 62611cbf91e492716c30688f1eb95e1aed9523bf
SHA256: d1ccc659b99225fd5aa7617f75869fada0deda9d8da28306ef6429405b8f6e16
SHA512: 4c8180b468f35a8fdcca9644c14d14cef2198bd57ad2c5c0dc087c381486e5b137ae97d0606dc50ae22cfe65a5d40b033326e7604d16214116bec6075f725116
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (tool)
Description-md5: f7bf6d601995cf75b1c02c4c67a89060