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

Last updated: December 28,2024

1. Install "libelpi-ocaml-dev" package

This guide let you learn how to install libelpi-ocaml-dev on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libelpi-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libelpi-ocaml-dev" package

In this section, we are going to explain the necessary steps to uninstall libelpi-ocaml-dev on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libelpi-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libelpi-ocaml-dev
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: 48049
Provides: libelpi-ocaml-dev-a4fh3
Depends: libcompiler-libs-ocaml-dev-rcwc4, libelpi-ocaml-a4fh3, libmenhir-ocaml-dev-jko84, libocaml-compiler-libs-ocaml-dev-194j4, libppx-deriving-ocaml-dev-qsyd4, libppxlib-ocaml-dev-l34s2, libre-ocaml-dev-5yx09, libsexplib0-ocaml-dev-3nli0, libstdlib-ocaml-dev-ep7y0, ocaml-4.14.1, libc6 (>= 2.38)
Recommends: ocaml-findlib
Filename: pool/universe/e/elpi/libelpi-ocaml-dev_1.17.4-3build1_amd64.deb
Size: 11360002
MD5sum: 4a71443d9c176af1aed1fdab81f6d1d1
SHA1: 3ca660e40464160a279cfd1dd12a8f57a7909633
SHA256: ef3ccb3d3f02c85fd8eb0025386682bb176aad3d6fd797e01d930f1864218cb6
SHA512: 080fac312ccaa1c21f41b256ebcfa390e81fc69cd2bf38f217363c57fe98ababccf1b0d779f3020a59efdd7547ce6d89f89702eb5e7e1384433aa655313bc572
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (dev files)
Description-md5: 49bf6aafd855780cf45d3137d68832dc