Cheap VPS & Xen Server

Residential Proxy Network - Hourly & Monthly Packages

How to install proofgeneral on Debian Unstable (Sid)

Install proofgeneral

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

sudo apt-get update
sudo apt-get install proofgeneral

proofgeneral package information

distro Debian Unstable (Sid)
section Main
name proofgeneral
version 4.3~pre131011-0.2
description generic frontend for proof assistants
subsection editors
maintainer Hendrik Tews

Uninstall proofgeneral

To remove just proofgeneral package itself from Debian Unstable (Sid) execute on terminal:

sudo apt-get remove proofgeneral

Uninstall proofgeneral and it’s dependent packages

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

sudo apt-get remove --auto-remove proofgeneral

Purging proofgeneral

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

sudo apt-get purge proofgeneral

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

sudo apt-get purge --auto-remove proofgeneral