Publishing details
Changelog
ppl (1:1.1-1ubuntu1) trusty; urgency=medium
* Merge with Debian; reamining changes:
- Don't build-depend on swi-prolog (universe).
-- Matthias Klose <email address hidden> Wed, 19 Mar 2014 20:04:40 +0100
Builds
Built packages
-
libppl-c4
Parma Polyhedra Library (C interface)
-
libppl-dev
Parma Polyhedra Library (development)
-
libppl-doc
Parma Polyhedra Library: Documentation
-
libppl13
Parma Polyhedra Library (runtime library)
-
ppl-dev
Parma Polyhedra Library (development binaries)
Package files