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
libppl-doc package information
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 |
Uninstall libppl-doc
To remove just libppl-doc package itself from Debian Unstable (Sid) execute on terminal:
sudo apt-get remove libppl-doc
Uninstall libppl-doc and it’s dependent packages
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
Purging 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