Cheap VPS & Xen Server


Residential Proxy Network - Hourly & Monthly Packages

How to install coq-doc on Debian Unstable (Sid)


Install coq-doc

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

sudo apt-get update
sudo apt-get install coq-doc

coq-doc package information

distro Debian Unstable (Sid)
section Non-Free
name coq-doc
version 8.4pl4-2
description documentation for Coq
subsection doc
website coq.inria.fr
maintainer Debian OCaml Maintainers

Uninstall coq-doc

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

sudo apt-get remove coq-doc

Uninstall coq-doc and it’s dependent packages

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

sudo apt-get remove --auto-remove coq-doc

Purging coq-doc

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

sudo apt-get purge coq-doc

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

sudo apt-get purge --auto-remove coq-doc

 

Comments

comments