How to Install and Uninstall libelpi-ocaml Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 23,2024

1. Install "libelpi-ocaml" package

This tutorial shows how to install libelpi-ocaml on Ubuntu 22.10 (Kinetic Kudu)

$ sudo apt update $ sudo apt install libelpi-ocaml

2. Uninstall "libelpi-ocaml" package

Please follow the step by step instructions below to uninstall libelpi-ocaml on Ubuntu 22.10 (Kinetic Kudu):

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

3. Information about the libelpi-ocaml package on Ubuntu 22.10 (Kinetic Kudu)

Package: libelpi-ocaml
Architecture: amd64
Version: 1.16.5-1
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: 20354
Provides: libelpi-ocaml-tbub1
Depends: libppx-deriving-ocaml-rdnx1, libsexplib0-ocaml-l23l7, ocaml-base-4.13.1
Recommends: ocaml-findlib
Filename: pool/universe/e/elpi/libelpi-ocaml_1.16.5-1_amd64.deb
Size: 6372228
MD5sum: 1c8274aa1cc73f14ecdb7331ab1d7130
SHA1: c40ecad1d363800b1eb762f3dbf24355f62ff9d2
SHA256: 2dcf3ed30eeb492c2ac5881e0bdfb0f642c4ab1c60e2b70587e7112e1f52532b
SHA512: 6ca7c60de9fb812863dd517d62cb3b3b5f9526173b92df1deb1d131742aa4ab11d757a3f108990b7675fe1f2b28c6fdee6884ff4c4a251658b8f8a00c2229c62
Homepage: https://github.com/LPCIC/elpi
Description: embeddable lambda-Prolog interpreter (runtime files)
Description-md5: 0a4257b4ca0c21955588fd0e34cff492