Cheap VPS & Xen Server


Residential Proxy Network - Hourly & Monthly Packages

How to install why3-doc-pdf on Debian Unstable (Sid)


Install why3-doc-pdf

Installing why3-doc-pdf package on Debian Unstable (Sid) is as easy as running the following command on terminal:

sudo apt-get update
sudo apt-get install why3-doc-pdf

why3-doc-pdf package information

distro Debian Unstable (Sid)
section Main
name why3-doc-pdf
version 0.87.0-3
description PDF Documentation of the why3 verification platform
subsection math
website why3.lri.fr
maintainer Debian OCaml Maintainers

Uninstall why3-doc-pdf

To remove just why3-doc-pdf package itself from Debian Unstable (Sid) execute on terminal:

sudo apt-get remove why3-doc-pdf

Uninstall why3-doc-pdf and it’s dependent packages

To remove the why3-doc-pdf package and any other dependant package which are no longer needed from Debian Sid.

sudo apt-get remove --auto-remove why3-doc-pdf

Purging why3-doc-pdf

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

sudo apt-get purge why3-doc-pdf

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

sudo apt-get purge --auto-remove why3-doc-pdf

 

Comments

comments