Cheap VPS & Xen Server

Residential Proxy Network - Hourly & Monthly Packages

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

Install prover9-mace4

Installing prover9-mace4 package on Debian Unstable (Sid) is as easy as running the following command on terminal:

sudo apt-get update
sudo apt-get install prover9-mace4

prover9-mace4 package information

distro Debian Unstable (Sid)
section Main
name prover9-mace4
version 0.5.dfsg-3
description GUI for Prover9 and Mace4
subsection math
website / ~mccune / mace4 / 
maintainer Debian QA Group

Uninstall prover9-mace4

To remove just prover9-mace4 package itself from Debian Unstable (Sid) execute on terminal:

sudo apt-get remove prover9-mace4

Uninstall prover9-mace4 and it’s dependent packages

To remove the prover9-mace4 package and any other dependant package which are no longer needed from Debian Sid.

sudo apt-get remove --auto-remove prover9-mace4

Purging prover9-mace4

If you also want to delete configuration and/or data files of prover9-mace4 from Debian Sid then this will work:

sudo apt-get purge prover9-mace4

To delete configuration and/or data files of prover9-mace4 and it’s dependencies from Debian Sid then execute:

sudo apt-get purge --auto-remove prover9-mace4