Cheap VPS & Xen Server

Residential Proxy Network - Hourly & Monthly Packages

How to install libppl13v5 on Debian Unstable (Sid)

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 / 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