Cheap VPS & Xen Server

Residential Proxy Network - Hourly & Monthly Packages

How to install prover9-doc on Debian Unstable (Sid)

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 / ~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