How to Install and Uninstall coq-theories Package on Debian 11 (Bullseye)
Last updated: December 24,2024
1. Install "coq-theories" package
This guide covers the steps necessary to install coq-theories on Debian 11 (Bullseye)
$
sudo apt update
Copied
$
sudo apt install
coq-theories
Copied
2. Uninstall "coq-theories" package
Learn how to uninstall coq-theories on Debian 11 (Bullseye):
$
sudo apt remove
coq-theories
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the coq-theories package on Debian 11 (Bullseye)
Package: coq-theories
Source: coq (8.12.0-3)
Version: 8.12.0-3+b3
Installed-Size: 280422
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: coq-libs (<< 8.2.pl1)
Depends: coq-8.12.0+4.11.1
Recommends: coq (>= 8.0)
Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1)
Description: proof assistant for higher-order logic (theories)
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e
Homepage: http://coq.inria.fr/
Tag: devel::library, field::mathematics, role::app-data
Section: math
Priority: optional
Filename: pool/main/c/coq/coq-theories_8.12.0-3+b3_amd64.deb
Size: 36501836
MD5sum: 2e5ff9f9dad61a672688908c5ad7fad1
SHA256: 25bc2fe7acd55aef14e2cb145b77cf5d2e8bb7a607fb19512edb8a0a6defea24
Source: coq (8.12.0-3)
Version: 8.12.0-3+b3
Installed-Size: 280422
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: coq-libs (<< 8.2.pl1)
Depends: coq-8.12.0+4.11.1
Recommends: coq (>= 8.0)
Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1)
Description: proof assistant for higher-order logic (theories)
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e
Homepage: http://coq.inria.fr/
Tag: devel::library, field::mathematics, role::app-data
Section: math
Priority: optional
Filename: pool/main/c/coq/coq-theories_8.12.0-3+b3_amd64.deb
Size: 36501836
MD5sum: 2e5ff9f9dad61a672688908c5ad7fad1
SHA256: 25bc2fe7acd55aef14e2cb145b77cf5d2e8bb7a607fb19512edb8a0a6defea24