How to Install and Uninstall libcoq-ext-lib Package on Debian 12 (Bookworm)
Last updated: November 07,2024
Notice
You can also install and uninstall the libcoq-ext-lib on the following distributions in the same way, as they are all based on the Debian system
- MX Linux 23
- SparkyLinux
1. Install "libcoq-ext-lib" package
This is a short guide on how to install libcoq-ext-lib on Debian 12 (Bookworm)
$
sudo apt update
Copied
$
sudo apt install
libcoq-ext-lib
Copied
2. Uninstall "libcoq-ext-lib" package
Here is a brief guide to show you how to uninstall libcoq-ext-lib on Debian 12 (Bookworm):
$
sudo apt remove
libcoq-ext-lib
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libcoq-ext-lib package on Debian 12 (Bookworm)
Package: libcoq-ext-lib
Source: coq-ext-lib (0.11.7-2)
Version: 0.11.7-2+b1
Installed-Size: 3659
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-ext-lib-usvi5
Depends: libcoq-stdlib-ewsr6
Description: Collection of theories and plugins for Coq
Description-md5: 7ead45ffb4ed1a615db956ed9c7fb053
Homepage: https://github.com/coq-community/coq-ext-lib
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-ext-lib/libcoq-ext-lib_0.11.7-2+b1_amd64.deb
Size: 758316
MD5sum: 7a0d1eb934e53b74444314d95ead8168
SHA256: 84a9b224034c0474bfd8f48f503b348edf8af394f114bc78631f3679fb8704c9
Source: coq-ext-lib (0.11.7-2)
Version: 0.11.7-2+b1
Installed-Size: 3659
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-ext-lib-usvi5
Depends: libcoq-stdlib-ewsr6
Description: Collection of theories and plugins for Coq
Description-md5: 7ead45ffb4ed1a615db956ed9c7fb053
Homepage: https://github.com/coq-community/coq-ext-lib
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-ext-lib/libcoq-ext-lib_0.11.7-2+b1_amd64.deb
Size: 758316
MD5sum: 7a0d1eb934e53b74444314d95ead8168
SHA256: 84a9b224034c0474bfd8f48f503b348edf8af394f114bc78631f3679fb8704c9