How to Install and Uninstall libelpi-ocaml Package on Debian 12 (Bookworm)
Last updated: December 29,2024
Notice
You can also install and uninstall the libelpi-ocaml 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" package
This is a short guide on how to install libelpi-ocaml on Debian 12 (Bookworm)
$
sudo apt update
Copied
$
sudo apt install
libelpi-ocaml
Copied
2. Uninstall "libelpi-ocaml" package
Please follow the steps below to uninstall libelpi-ocaml on Debian 12 (Bookworm):
$
sudo apt remove
libelpi-ocaml
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libelpi-ocaml package on Debian 12 (Bookworm)
Package: libelpi-ocaml
Source: elpi (1.16.8-1)
Version: 1.16.8-1+b2
Installed-Size: 20475
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libelpi-ocaml-uc3b1
Depends: libppx-deriving-ocaml-3ba35, libsexplib0-ocaml-dj6s4, ocaml-base-4.13.1
Recommends: ocaml-findlib
Description: embeddable lambda-Prolog interpreter (runtime files)
Description-md5: 0a4257b4ca0c21955588fd0e34cff492
Homepage: https://github.com/LPCIC/elpi
Section: ocaml
Priority: optional
Filename: pool/main/e/elpi/libelpi-ocaml_1.16.8-1+b2_amd64.deb
Size: 4896288
MD5sum: 96b4660a52cec94bd8eacc41154c836e
SHA256: 9325807f090251796af88f761ec307f7a13a0e186fa5414ffab650837ab35c5d
Source: elpi (1.16.8-1)
Version: 1.16.8-1+b2
Installed-Size: 20475
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libelpi-ocaml-uc3b1
Depends: libppx-deriving-ocaml-3ba35, libsexplib0-ocaml-dj6s4, ocaml-base-4.13.1
Recommends: ocaml-findlib
Description: embeddable lambda-Prolog interpreter (runtime files)
Description-md5: 0a4257b4ca0c21955588fd0e34cff492
Homepage: https://github.com/LPCIC/elpi
Section: ocaml
Priority: optional
Filename: pool/main/e/elpi/libelpi-ocaml_1.16.8-1+b2_amd64.deb
Size: 4896288
MD5sum: 96b4660a52cec94bd8eacc41154c836e
SHA256: 9325807f090251796af88f761ec307f7a13a0e186fa5414ffab650837ab35c5d