How to Install and Uninstall libcoq-ocaml-dev Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: December 24,2024

1. Install "libcoq-ocaml-dev" package

In this section, we are going to explain the necessary steps to install libcoq-ocaml-dev on Ubuntu 22.04 LTS (Jammy Jellyfish)

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

2. Uninstall "libcoq-ocaml-dev" package

Please follow the step by step instructions below to uninstall libcoq-ocaml-dev on Ubuntu 22.04 LTS (Jammy Jellyfish):

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

3. Information about the libcoq-ocaml-dev package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: libcoq-ocaml-dev
Architecture: amd64
Version: 8.14.1+dfsg-1
Priority: optional
Section: universe/libdevel
Source: coq
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 157555
Provides: libcoq-ocaml-dev-zp342
Depends: coq (= 8.14.1+dfsg-1), libcoq-ocaml-zp342, libzarith-ocaml-dev-6esu1, ocaml-nox-4.11.1
Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
Replaces: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
Filename: pool/universe/c/coq/libcoq-ocaml-dev_8.14.1+dfsg-1_amd64.deb
Size: 44876404
MD5sum: 7e87eac040d6b75b3a1453360840e9c7
SHA1: 45b1bda2243f5283f45fb80bf39d9f7470713bb0
SHA256: 40df71861f72017518d9138b195ebb89ecb617ea85205042dc14cad5d4eb5427
SHA512: 3f4b5a938d26b56c5caa25898de793921aa7a165a716bdee3d0a69b667a5cf0f79935612b8d84bf2a4637e6db0a81e36238fb4291ba6f3cc505443e6c8e2920e
Homepage: http://coq.inria.fr/
Description-en: development libraries and tools for Coq
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
.
This package provides and libraries needed to develop OCaml-side
extensions to Coq.
Description-md5: 087097b71994724756abfbecea1882b9