Install coq-doc-pdf
Installing coq-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 coq-doc-pdf
coq-doc-pdf package information
| distro | Debian Unstable (Sid) |
|---|---|
| section | Non-Free |
| name | coq-doc-pdf |
| version | 8.4pl4-2 |
| description | documentation for Coq in pdf format |
| subsection | doc |
| website | coq.inria.fr |
| maintainer | Debian OCaml Maintainers |
Uninstall coq-doc-pdf
To remove just coq-doc-pdf package itself from Debian Unstable (Sid) execute on terminal:
sudo apt-get remove coq-doc-pdf
Uninstall coq-doc-pdf and it’s dependent packages
To remove the coq-doc-pdf package and any other dependant package which are no longer needed from Debian Sid.
sudo apt-get remove --auto-remove coq-doc-pdf
Purging coq-doc-pdf
If you also want to delete configuration and/or data files of coq-doc-pdf from Debian Sid then this will work:
sudo apt-get purge coq-doc-pdf
To delete configuration and/or data files of coq-doc-pdf and it’s dependencies from Debian Sid then execute:
sudo apt-get purge --auto-remove coq-doc-pdf
