Cheap VPS & Xen Server


Residential Proxy Network - Hourly & Monthly Packages

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


Install libppl-dev

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

sudo apt-get update
sudo apt-get install libppl-dev

libppl-dev package information

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

Uninstall libppl-dev

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

sudo apt-get remove libppl-dev

Uninstall libppl-dev and it’s dependent packages

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

sudo apt-get remove --auto-remove libppl-dev

Purging libppl-dev

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

sudo apt-get purge libppl-dev

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

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

 

Comments

comments