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 |
| website | proofgeneral.inf.ed.ac.uk |
| 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
