Cheap VPS & Xen Server


Residential Proxy Network - Hourly & Monthly Packages

How to install why-examples on Debian Unstable (Sid)


Install why-examples

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

sudo apt-get update
sudo apt-get install why-examples

why-examples package information

distro Debian Unstable (Sid)
section Main
name why-examples
version 2.34-4
description Examples of programs certified with Why
subsection doc
website why.lri.fr
maintainer Debian OCaml Maintainers

Uninstall why-examples

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

sudo apt-get remove why-examples

Uninstall why-examples and it’s dependent packages

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

sudo apt-get remove --auto-remove why-examples

Purging why-examples

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

sudo apt-get purge why-examples

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

sudo apt-get purge --auto-remove why-examples

 

Comments

comments