How to Install and Uninstall libelpi-ocaml-dev Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 07,2024

1. Install "libelpi-ocaml-dev" package

Learn how to install libelpi-ocaml-dev on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libelpi-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libelpi-ocaml-dev" package

This tutorial shows how to uninstall libelpi-ocaml-dev on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libelpi-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libelpi-ocaml-dev package on Ubuntu 22.10 (Kinetic Kudu)

Package: libelpi-ocaml-dev
Architecture: amd64
Version: 1.16.5-1
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: 54734
Provides: libelpi-ocaml-dev-tbub1
Depends: libelpi-ocaml-tbub1, libmenhir-ocaml-dev-dyfe5, libocaml-compiler-libs-ocaml-dev-onqw0, libppx-deriving-ocaml-dev-rdnx1, libppxlib-ocaml-dev-3g4y8, libre-ocaml-dev-w4yg7, libsexplib0-ocaml-dev-l23l7, ocaml-4.13.1, libc6 (>= 2.35)
Recommends: ocaml-findlib
Filename: pool/universe/e/elpi/libelpi-ocaml-dev_1.16.5-1_amd64.deb
Size: 12596794
MD5sum: f2a61ec58ad81bcad6b4db1ab3271742
SHA1: c0fd2d0ebef0b6930a7825a7f58cfdff1e4b6f00
SHA256: 26f91243f6be2bf9b06538dce764895a4eed5384898503e3e12dd17ab98f3006
SHA512: dc62524410577a03bd915dcfbe87044b13a4831b9e9441d0e41e9e2196d0761a1ccb33934ea4f63452bb872a120a82c21e221ac09dde808b330350bf28d1633e
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (dev files)
Description-md5: 49bf6aafd855780cf45d3137d68832dc