How to Install and Uninstall libelpi-ocaml-dev Package on Kali Linux

Last updated: May 10,2024

1. Install "libelpi-ocaml-dev" package

Here is a brief guide to show you how to install libelpi-ocaml-dev on Kali Linux

$ sudo apt update $ sudo apt install libelpi-ocaml-dev

2. Uninstall "libelpi-ocaml-dev" package

Please follow the step by step instructions below to uninstall libelpi-ocaml-dev on Kali Linux:

$ sudo apt remove libelpi-ocaml-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libelpi-ocaml-dev package on Kali Linux

Package: libelpi-ocaml-dev
Source: elpi (1.17.4-3)
Version: 1.17.4-3+b1
Installed-Size: 48050
Maintainer: Debian OCaml Maintainers
Architecture: amd64
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.35)
Recommends: ocaml-findlib
Size: 9354300
SHA256: 718f7e41a1a18280e27839bb81fa7d2d03ee1380f1749a6177a5fdb51de0e1dc
SHA1: 005514d289265571036cd4027ad393a70595c978
MD5sum: 420bd352a449f054e8b3d8f46e1b7128
Description: embeddable lambda-Prolog interpreter (dev files)
ELPI implements a lambda-Prolog interpreter enriched with
constraint handling rules, to provide an extension language
to larger applications written in OCaml.
.
This package provides the dev files.
Description-md5:
Homepage: https://github.com/LPCIC/elpi
Section: ocaml
Priority: optional
Filename: pool/main/e/elpi/libelpi-ocaml-dev_1.17.4-3+b1_amd64.deb