How to Install and Uninstall libcoq-elpi-ocaml Package on Ubuntu 22.10 (Kinetic Kudu)
Last updated: December 24,2024
1. Install "libcoq-elpi-ocaml" package
Learn how to install libcoq-elpi-ocaml on Ubuntu 22.10 (Kinetic Kudu)
$
sudo apt update
Copied
$
sudo apt install
libcoq-elpi-ocaml
Copied
2. Uninstall "libcoq-elpi-ocaml" package
Learn how to uninstall libcoq-elpi-ocaml on Ubuntu 22.10 (Kinetic Kudu):
$
sudo apt remove
libcoq-elpi-ocaml
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libcoq-elpi-ocaml package on Ubuntu 22.10 (Kinetic Kudu)
Package: libcoq-elpi-ocaml
Architecture: amd64
Version: 1.14.0-5build1
Priority: optional
Section: universe/ocaml
Source: coq-elpi
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 26111
Provides: libcoq-elpi-ocaml-my8u0
Depends: libcoq-core-ocaml-ifas5, libelpi-ocaml-tbub1, libppx-deriving-ocaml-rdnx1, libzarith-ocaml-4dps0, ocaml-base-4.13.1
Recommends: libcoq-elpi
Filename: pool/universe/c/coq-elpi/libcoq-elpi-ocaml_1.14.0-5build1_amd64.deb
Size: 8344932
MD5sum: 35c2c3342da4014603b4023981a1fdcf
SHA1: 502b0ba8d2999de5df34b20bca33f0e6211e6c44
SHA256: 4544cc7839eb02f896e2a1c82d02cac393b376ed3d859b64e39cd09b612481e3
SHA512: 9c5c8e94054eab98972250571571c6f3700bb0040aeb008eb682d8f9be04ab1bae44bdef39ea15e3704eb0f1468e0d27c184f4d92cfe59f8ba252d577c76412d
Homepage: https://github.com/LPCIC/coq-elpi
Description: Coq plugin embedding Elpi (runtime)
Description-md5: 6b3f4d3cc2f5c92159110324ccdb3b90
Architecture: amd64
Version: 1.14.0-5build1
Priority: optional
Section: universe/ocaml
Source: coq-elpi
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 26111
Provides: libcoq-elpi-ocaml-my8u0
Depends: libcoq-core-ocaml-ifas5, libelpi-ocaml-tbub1, libppx-deriving-ocaml-rdnx1, libzarith-ocaml-4dps0, ocaml-base-4.13.1
Recommends: libcoq-elpi
Filename: pool/universe/c/coq-elpi/libcoq-elpi-ocaml_1.14.0-5build1_amd64.deb
Size: 8344932
MD5sum: 35c2c3342da4014603b4023981a1fdcf
SHA1: 502b0ba8d2999de5df34b20bca33f0e6211e6c44
SHA256: 4544cc7839eb02f896e2a1c82d02cac393b376ed3d859b64e39cd09b612481e3
SHA512: 9c5c8e94054eab98972250571571c6f3700bb0040aeb008eb682d8f9be04ab1bae44bdef39ea15e3704eb0f1468e0d27c184f4d92cfe59f8ba252d577c76412d
Homepage: https://github.com/LPCIC/coq-elpi
Description: Coq plugin embedding Elpi (runtime)
Description-md5: 6b3f4d3cc2f5c92159110324ccdb3b90