How to Install and Uninstall debian-coq-tools Package on Debian 12 (Bookworm)

Last updated: December 24,2024

1. Install "debian-coq-tools" package

This is a short guide on how to install debian-coq-tools on Debian 12 (Bookworm)

$ sudo apt update $ sudo apt install debian-coq-tools

2. Uninstall "debian-coq-tools" package

Please follow the guidelines below to uninstall debian-coq-tools on Debian 12 (Bookworm):

$ sudo apt remove debian-coq-tools $ sudo apt autoclean && sudo apt autoremove

3. Information about the debian-coq-tools package on Debian 12 (Bookworm)

Package: debian-coq-tools
Source: dh-coq
Version: 0.5
Installed-Size: 26
Maintainer: Debian OCaml Maintainers
Architecture: all
Depends: python3
Description: various tools to manage Coq-related Debian packages
Description-md5: bc0e9ecb11676bddf70f51790273af6f
Multi-Arch: foreign
Section: ocaml
Priority: optional
Filename: pool/main/d/dh-coq/debian-coq-tools_0.5_all.deb
Size: 6292
MD5sum: ca5b73116539cb5865947e6ad3cecb61
SHA256: 43d10b7ab764ff0dcca20972a1fc64ea2cbe2bb7dc544df9d6e770ed4cd2fd8b