How to Install and Uninstall prover9 Package on Debian 10 (Buster)
Last updated: November 22,2024
1. Install "prover9" package
This is a short guide on how to install prover9 on Debian 10 (Buster)
$
sudo apt update
Copied
$
sudo apt install
prover9
Copied
2. Uninstall "prover9" package
In this section, we are going to explain the necessary steps to uninstall prover9 on Debian 10 (Buster):
$
sudo apt remove
prover9
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the prover9 package on Debian 10 (Buster)
Package: prover9
Source: ladr (0.0.200911a-2.1)
Version: 0.0.200911a-2.1+b2
Installed-Size: 303
Maintainer: Debian QA Group
Architecture: amd64
Depends: libc6 (>= 2.7), libladr4 (>= 0.0.200911a-1)
Suggests: ladr4-apps (= 0.0.200911a-2.1+b2), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b)
Description: theorem prover and countermodel generator
Description-md5: c442e7a696a012e3623fe548e18e8471
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Section: math
Priority: optional
Filename: pool/main/l/ladr/prover9_0.0.200911a-2.1+b2_amd64.deb
Size: 102844
MD5sum: 9615e4c10f185703dc144574fc578d3d
SHA256: 334f2f18f7f795d7352898cf2ac4db57a3701d390714cfd6a9e673fe59e9a533
Source: ladr (0.0.200911a-2.1)
Version: 0.0.200911a-2.1+b2
Installed-Size: 303
Maintainer: Debian QA Group
Architecture: amd64
Depends: libc6 (>= 2.7), libladr4 (>= 0.0.200911a-1)
Suggests: ladr4-apps (= 0.0.200911a-2.1+b2), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b)
Description: theorem prover and countermodel generator
Description-md5: c442e7a696a012e3623fe548e18e8471
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Section: math
Priority: optional
Filename: pool/main/l/ladr/prover9_0.0.200911a-2.1+b2_amd64.deb
Size: 102844
MD5sum: 9615e4c10f185703dc144574fc578d3d
SHA256: 334f2f18f7f795d7352898cf2ac4db57a3701d390714cfd6a9e673fe59e9a533