ppl package in Ubuntu

libppl-c4: Parma Polyhedra Library (C interface)
libppl-c4-dbgsym: debug symbols for package libppl-c4
libppl-dev: Parma Polyhedra Library (development)
libppl-doc: Parma Polyhedra Library: Documentation
libppl-swi: Parma Polyhedra Library (SWI Prolog interface)
libppl-swi-dbgsym: debug symbols for package libppl-swi
libppl13v5: Parma Polyhedra Library (runtime library)
libppl13v5-dbgsym: debug symbols for package libppl13v5
ppl-dev: Parma Polyhedra Library (development binaries)
ppl-dev-dbgsym: debug symbols for package ppl-dev

This package has 0 new bugs and 0 open questions.

Package information

Michael Tautschnig
Medium Urgency
any all
Latest upload:

*actual publishing details may vary in this distribution, these are just the package defaults.

Upstream connections


Its a social network you control, based upon Aiki Framework.

Bug supervisor: yes
Bug tracker: yes
Branch: yes

PPL 0.3 (public release) is older than the current packaged version. Launchpad may be missing release information for the trunk series or this package is linked to the wrong PPL series.

The Zesty Zapus (active development)
1:1.1-7.2build1 release (universe) 2016-10-18
The Yakkety Yak (current stable release)
1:1.1-7.2build1 release (universe) 2016-04-22
The Xenial Xerus (supported)
1:1.1-7.2build1 release (universe) 2016-02-22
The Wily Werewolf (supported)
1:1.1-3ubuntu5 release (main) 2015-05-04
The Vivid Vervet (supported)
1:1.1-3ubuntu5 release (main) 2015-03-10
The Trusty Tahr (supported)
1:1.1-1ubuntu1 release (main) 2014-03-20
The Precise Pangolin (supported)
0.11.2-6ubuntu3 release (main) 2012-04-12