How to Install and Uninstall libcoq-core-ocaml Package on Kali Linux
Last updated: December 24,2024
1. Install "libcoq-core-ocaml" package
Please follow the instructions below to install libcoq-core-ocaml on Kali Linux
$
sudo apt update
Copied
$
sudo apt install
libcoq-core-ocaml
Copied
2. Uninstall "libcoq-core-ocaml" package
Here is a brief guide to show you how to uninstall libcoq-core-ocaml on Kali Linux:
$
sudo apt remove
libcoq-core-ocaml
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libcoq-core-ocaml package on Kali Linux
Package: libcoq-core-ocaml
Source: coq
Version: 8.18.0+dfsg-1
Installed-Size: 83963
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: coq-libs, libcoq-ocaml
Provides: libcoq-core-ocaml-fg9y1, libcoq-ocaml (= 8.18.0+dfsg-1)
Depends: libfindlib-ocaml-449z9, libstdlib-ocaml-ep7y0, libzarith-ocaml-zlfv4, ocaml-base-4.14.1, libc6 (>= 2.4)
Suggests: ocaml-findlib
Breaks: coq-libs, libcoq-ocaml
Size: 23212704
SHA256: db436d8b98364f62a0b79c52ec7678780db58ec8af8f776ec53fc902bbbb4153
SHA1: a57d9c456771bb7e4c6c10589eae6594bbf25c1f
MD5sum: 4cc34386eea0c5342e4d76f1b6ab5cf5
Description: runtime libraries 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 runtime libraries for Coq.
Description-md5:
Homepage: http://coq.inria.fr/
Section: ocaml
Priority: optional
Filename: pool/main/c/coq/libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb
Source: coq
Version: 8.18.0+dfsg-1
Installed-Size: 83963
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: coq-libs, libcoq-ocaml
Provides: libcoq-core-ocaml-fg9y1, libcoq-ocaml (= 8.18.0+dfsg-1)
Depends: libfindlib-ocaml-449z9, libstdlib-ocaml-ep7y0, libzarith-ocaml-zlfv4, ocaml-base-4.14.1, libc6 (>= 2.4)
Suggests: ocaml-findlib
Breaks: coq-libs, libcoq-ocaml
Size: 23212704
SHA256: db436d8b98364f62a0b79c52ec7678780db58ec8af8f776ec53fc902bbbb4153
SHA1: a57d9c456771bb7e4c6c10589eae6594bbf25c1f
MD5sum: 4cc34386eea0c5342e4d76f1b6ab5cf5
Description: runtime libraries 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 runtime libraries for Coq.
Description-md5:
Homepage: http://coq.inria.fr/
Section: ocaml
Priority: optional
Filename: pool/main/c/coq/libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb