How to Install and Uninstall libelpi-ocaml-dev Package on Debian 12 (Bookworm)

Last updated: December 29,2024

You can also install and uninstall the libelpi-ocaml-dev on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libelpi-ocaml-dev" package

This tutorial shows how to install libelpi-ocaml-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                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 Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libelpi-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libelpi-ocaml-dev package on Debian 12 (Bookworm)

Package: libelpi-ocaml-dev
Source: elpi (1.16.8-1)
Version: 1.16.8-1+b2
Installed-Size: 54867
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libelpi-ocaml-dev-uc3b1
Depends: libelpi-ocaml-uc3b1, libmenhir-ocaml-dev-dyfe5, libocaml-compiler-libs-ocaml-dev-onqw0, libppx-deriving-ocaml-dev-3ba35, libppxlib-ocaml-dev-3kac3, libre-ocaml-dev-x1xl9, libsexplib0-ocaml-dev-dj6s4, ocaml-4.13.1, libc6 (>= 2.35)
Recommends: ocaml-findlib
Description: embeddable lambda-Prolog interpreter (dev files)
Description-md5: 49bf6aafd855780cf45d3137d68832dc
Homepage: https://github.com/LPCIC/elpi
Section: ocaml
Priority: optional
Filename: pool/main/e/elpi/libelpi-ocaml-dev_1.16.8-1+b2_amd64.deb
Size: 10376984
MD5sum: c809283c1e959ba29fd749a5afb556eb
SHA256: e4d301c7e53632350371e67d21086182792e146c6e142096a69974cd2a4c7820