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
libppl14: Parma Polyhedra Library (runtime library)
libppl14-dbgsym: debug symbols for package libppl14
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

Debian Science Team
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 Artful Aardvark (active development)
1:1.2-1 release (universe) 2017-04-20
The Zesty Zapus (current stable release)
1:1.2-1 release (universe) 2016-12-17
The Yakkety Yak (supported)
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 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