Publishing details
Changelog
ppl (1:1.1-7.2build1) xenial; urgency=medium
* No-change upload for swi-prolog update.
-- Matthias Klose <email address hidden> Mon, 22 Feb 2016 15:05:30 +0100
Builds
Built packages
-
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
Package files