ppl package in Ubuntu

libppl-c4: Parma Polyhedra Library (C interface)
libppl-c4-dbgsym: Debug symbols for 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 libppl-swi
libppl14: Parma Polyhedra Library (runtime library)
libppl14-dbgsym: debug symbols for libppl14
ppl-dev: Parma Polyhedra Library (development binaries)
ppl-dev-dbgsym: debug symbols for 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 Bionic Beaver (active development)
1:1.2-2build4 release (universe) 2018-02-08
The Artful Aardvark (current stable release)
1:1.2-2build1 release (universe) 2017-07-27
The Xenial Xerus (supported)
1:1.1-7.2build1 release (universe) 2016-02-22
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