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

Install libppl-doc

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

sudo apt-get update
sudo apt-get install libppl-doc

distro	Debian Unstable (Sid)
section	Main
name	libppl-doc
version	1:1.1-7.2
description	Parma Polyhedra Library: Documentation
subsection	doc
website	cs.unipr.it / ppl /
maintainer	Michael Tautschnig

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

sudo apt-get remove libppl-doc

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

sudo apt-get remove --auto-remove libppl-doc

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

sudo apt-get purge libppl-doc

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

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

comments