Cheap VPS & Xen Server


Residential Proxy Network - Hourly & Monthly Packages

How to install otter on Debian Unstable (Sid)


Install otter

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

sudo apt-get update
sudo apt-get install otter

otter package information

distro Debian Unstable (Sid)
section Main
name otter
version 3.3f-1.1
description resolution-style theorem prover
subsection math
maintainer Peter Collingbourne

Uninstall otter

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

sudo apt-get remove otter

Uninstall otter and it’s dependent packages

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

sudo apt-get remove --auto-remove otter

Purging otter

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

sudo apt-get purge otter

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

sudo apt-get purge --auto-remove otter

 

Comments

comments