How to Install and Uninstall libelpi-ocaml-dev Package on Kali Linux
Last updated: December 23,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
Copied
$
sudo apt install
libelpi-ocaml-dev
Copied
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
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
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
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