How to Install and Uninstall debian-coq-tools Package on Debian 12 (Bookworm)
Last updated: November 22,2024
Notice
You can also install and uninstall the debian-coq-tools on the following distributions in the same way, as they are all based on the Debian system
- MX Linux 23
- SparkyLinux
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
Copied
$
sudo apt install
debian-coq-tools
Copied
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
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
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
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