Installion's Lion Logo

Installion.co.uk

How To Install libppl-dev On Debian 8

To install libppl-dev just follow these instructions.

Install libppl-dev

Parma Polyhedra Library (development)Debian 8.0libdevel1:1.1-3+b1
sudo apt-get install libppl-dev

Which will install libppl-dev and any other packages on which it depends.

Package Data

Packagelibppl-dev
Version1:1.1-3+b1
MaintainerDebian GCC Maintainers <debian-gcc@lists.debian.org>
Home pagehttp://www.cs.unipr.it/ppl/
DescriptionParma Polyhedra Library (development)
Distrodebian
Releasejessie
Repomain
Sectionlibdevel

Dependencies