How to Install and Uninstall libelpi-ocaml Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: January 24,2025

1. Install "libelpi-ocaml" package

This guide covers the steps necessary to install libelpi-ocaml on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libelpi-ocaml
            
                    
    
    Copied

2. Uninstall "libelpi-ocaml" package

Please follow the steps below to uninstall libelpi-ocaml on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libelpi-ocaml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libelpi-ocaml package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libelpi-ocaml
Architecture: amd64
Version: 1.17.4-3build1
Priority: optional
Section: universe/ocaml
Source: elpi
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 15536
Provides: libelpi-ocaml-a4fh3
Depends: libppx-deriving-ocaml-qsyd4, libsexplib0-ocaml-3nli0, libstdlib-ocaml-ep7y0, ocaml-base-4.14.1
Recommends: ocaml-findlib
Filename: pool/universe/e/elpi/libelpi-ocaml_1.17.4-3build1_amd64.deb
Size: 4842862
MD5sum: 43cb9089af743cce64b7566ee16445cc
SHA1: 5d9cf1d019ad1b994a36d293be7a8f0fbb139c56
SHA256: 88b427ca990a886243c7eda0f914162087a97770fcdbd2dc1b273f9d7099be2b
SHA512: ab6adbc71ebc03b9afcba9b8e7609bd97d93af6a7249b0b86eb3ff1265bedbb5084dae014a2bca1e5ab850b207504f01ee3725343e036ba6faf6533ee3073dd0
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (runtime files)
Description-md5: 0a4257b4ca0c21955588fd0e34cff492