Install prover9-doc
Installing prover9-doc package on Debian Unstable (Sid) is as easy as running the following command on terminal:
sudo apt-get update sudo apt-get install prover9-doc
prover9-doc package information
| distro | Debian Unstable (Sid) |
|---|---|
| section | Main |
| name | prover9-doc |
| version | 0.0.200902a-2 |
| description | documentation for Prover9 and associated programs |
| subsection | doc |
| website | cs.unm.edu / ~mccune / mace4 / |
| maintainer | Debian QA Group |
Uninstall prover9-doc
To remove just prover9-doc package itself from Debian Unstable (Sid) execute on terminal:
sudo apt-get remove prover9-doc
Uninstall prover9-doc and it’s dependent packages
To remove the prover9-doc package and any other dependant package which are no longer needed from Debian Sid.
sudo apt-get remove --auto-remove prover9-doc
Purging prover9-doc
If you also want to delete configuration and/or data files of prover9-doc from Debian Sid then this will work:
sudo apt-get purge prover9-doc
To delete configuration and/or data files of prover9-doc and it’s dependencies from Debian Sid then execute:
sudo apt-get purge --auto-remove prover9-doc
