Installlion's Logo

Installlion.com

How To Install libppl-dev on jessie

To install libppl-dev just follow these instructions.

Install libppl-dev

Parma Polyhedra Library (development) Debian 8.0 libdevel 1: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
DescriptionParma Polyhedra Library (development)
Distrodebian
Releasejessie
Repomain
Sectionlibdevel

Dependencies