How to Install and Uninstall libcoq-ext-lib Package on Debian 12 (Bookworm)

Last updated: November 07,2024

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 $ sudo apt install libcoq-ext-lib

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 $ sudo apt autoclean && sudo apt autoremove

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