How to Install and Uninstall libelpi-ocaml-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 18,2024

1. Install "libelpi-ocaml-dev" package

Please follow the step by step instructions below to install libelpi-ocaml-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libelpi-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libelpi-ocaml-dev" package

Please follow the guidelines below to uninstall libelpi-ocaml-dev on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libelpi-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libelpi-ocaml-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: libelpi-ocaml-dev
Architecture: amd64
Version: 1.17.0-1build4
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: 47605
Provides: libelpi-ocaml-dev-n86w6
Depends: libcompiler-libs-ocaml-dev-1cen8, libelpi-ocaml-n86w6, libmenhir-ocaml-dev-tx6u9, libocaml-compiler-libs-ocaml-dev-onqw0, libppx-deriving-ocaml-dev-y2y98, libppxlib-ocaml-dev-rfur9, libre-ocaml-dev-20b31, libsexplib0-ocaml-dev-2pf81, libstdlib-ocaml-dev-lqmb5, ocaml-4.13.1, libc6 (>= 2.38)
Recommends: ocaml-findlib
Filename: pool/universe/e/elpi/libelpi-ocaml-dev_1.17.0-1build4_amd64.deb
Size: 11253900
MD5sum: 3bd001d317e7e2ba1b4092fb99b7ca73
SHA1: f9ba325e7eebdcf897b2249d5d379bc45b10091b
SHA256: ca71639b16f6198d179136e4181ea17ee6afc10ddbf379bb991941bb4d1ee9a1
SHA512: 3642c6e5686d8a343e1433d37849035585a20e17ff7cff309a0e396e3120db418f647fcd72b95609598ed2f17787c0acbb23e0da1e0295ab5586304d9527f088
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (dev files)
Description-md5: 49bf6aafd855780cf45d3137d68832dc