Install libppl13v5
Installing libppl13v5 package on Debian Unstable (Sid) is as easy as running the following command on terminal:
sudo apt-get update sudo apt-get install libppl13v5
libppl13v5 package information
| distro | Debian Unstable (Sid) |
|---|---|
| section | Main |
| name | libppl13v5 |
| version | 1:1.1-7.2+b1 |
| description | Parma Polyhedra Library (runtime library) |
| subsection | libs |
| website | cs.unipr.it / ppl / |
| maintainer | Michael Tautschnig |
Uninstall libppl13v5
To remove just libppl13v5 package itself from Debian Unstable (Sid) execute on terminal:
sudo apt-get remove libppl13v5
Uninstall libppl13v5 and it’s dependent packages
To remove the libppl13v5 package and any other dependant package which are no longer needed from Debian Sid.
sudo apt-get remove --auto-remove libppl13v5
Purging libppl13v5
If you also want to delete configuration and/or data files of libppl13v5 from Debian Sid then this will work:
sudo apt-get purge libppl13v5
To delete configuration and/or data files of libppl13v5 and it’s dependencies from Debian Sid then execute:
sudo apt-get purge --auto-remove libppl13v5
