ppl-dev - Parma Polyhedra Library (development binaries)

Property Value
Distribution Ubuntu 16.04 LTS (Xenial Xerus)
Repository Ubuntu Universe amd64
Package name ppl-dev
Package version 1.1
Package release 7.2build1
Package architecture amd64
Package type deb
Installed size 282 B
Download size 32.47 KB
Official Mirror archive.ubuntu.com
The Parma Polyhedra Library (PPL) is a C++ library for the
manipulation of (not necessarily closed) convex polyhedra and other
numerical abstractions.  The applications of convex polyhedra include
program analysis, optimized compilation, integer and combinatorial
optimization and statistical data-editing.  The Parma Polyhedra
Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
mean it), fully dynamic (available virtual memory is the only
limitation to the dimension of anything), written in standard C++,
exception-safe, rather efficient and thoroughly documented.
This package provides the ppl-config binary.


Package Version Architecture Repository
ppl-dev_1.1-7.2build1_i386.deb 1.1 i386 Ubuntu Universe
ppl-dev - - -


Name Value
libc6 >= 2.14
libgcc1 >= 1:3.0
libppl-dev = 1:1.1-7.2build1
libppl13v5 -
libstdc++6 >= 5.2


Name Value
libppl0.11-dev -


Type URL
Binary Package ppl-dev_1.1-7.2build1_amd64.deb
Source Package ppl

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install ppl-dev deb package:
    # sudo apt-get install ppl-dev




2016-02-22 - Matthias Klose <doko@ubuntu.com>
ppl (1:1.1-7.2build1) xenial; urgency=medium
* No-change upload for swi-prolog update.
2015-12-11 - Matthias Klose <doko@debian.org>
ppl (1:1.1-7.2) unstable; urgency=medium
* Non-maintainer upload.
* Restore the libppl-doc and libppl-swi packages, not built by mistake
in the previous upload.
2015-12-07 - Matthias Klose <doko@debian.org>
ppl (1:1.1-7.1) unstable; urgency=medium
* Non-maintainer upload.
* Fix build failure with with swi-prolog 7.x (Roberto Bagnara).
Closes: #787486.
2015-09-21 - Michael Tautschnig <mt@debian.org>
ppl (1:1.1-7) unstable; urgency=medium
* Rename C++ library package for the libstdc++ v5 transition. Thanks Simon
McVittie for providing the necessary patch and chasing all this up.
Closes: #799641.
* Run gzip with -n to enable reproducible builds
2015-08-25 - Michael Tautschnig <mt@debian.org>
ppl (1:1.1-6) unstable; urgency=low
* Re-adopting the package. Closes: #791996.
* libppl-dev.maintscript: Perform the symlink_to_dir migration of
/usr/share/doc/libppl-dev. The symlink dates back to the package in lenny
as the libppl-dev package did not exist in squeeze or wheezy.
Closes: #788455.
* libppl-dev: Update Breaks+Conflicts to match Replaces+Provides.
* Thanks Andreas Beckmann <anbe@debian.org> for those two patches.
2015-07-22 - Matthias Klose <doko@debian.org>
ppl (1:1.1-5) unstable; urgency=medium
* QA upload.
* Orphan the package. Not used anymore for recent GCC versions.
See #791996.
* Build with -fpermissive. Works around a ftbfs.
* Ignore test results; the prolog tests currently fail with swi-prolog 7.2.
Addresses: #787486.
2015-04-29 - Matthias Klose <doko@debian.org>
ppl (1:1.1-4) unstable; urgency=medium
* Fix build with doxygen 1.8.9.
2014-07-25 - Matthias Klose <doko@debian.org>
ppl (1:1.1-3) unstable; urgency=medium
* Build using dh-autoreconf instead of autotools-dev. Closes: #755959.
* Define our own \+ latex command. Closes: #751355.
* Fix linking of libppl_tests.
2014-03-21 - Matthias Klose <doko@debian.org>
ppl (1:1.1-2) unstable; urgency=medium
* Work around GCC PR target/60609 to avoid the build failure
of the SWI Prolog bindings on armhf.
2013-12-23 - Matthias Klose <doko@debian..org>
ppl (1:1.1-1) unstable; urgency=medium
* PPL 1.1 release.

See Also

Package Description
ppp-gatekeeper_0.1.0-201406111015-1_all.deb PPP manager for handling balanced, redundant and failover links
pppdcapiplugin_3.25+dfsg1-3.7ubuntu1_amd64.deb ISDN utilities - pppd plug-in for CAPI support
pppoe_3.11-0ubuntu1_amd64.deb PPP over Ethernet driver
pprepair_0.0~20150624-82a2019-1build1_amd64.deb planar partition repair tool
pps-tools_0.20120406+g0deb9c7e-2_amd64.deb LinuxPPS support tools and headers
ppsh_1.6.9-1_amd64.deb Program to parse and pretty print arbitrary Haskell Show output
pqiv_2.2-1_amd64.deb Lightweight image viewer
pr3287_3.3.14ga11-1build1_amd64.deb IBM 3287 printer emulation for telnet sessions to IBM mainframes
praat_6.0.4-2ubuntu1_amd64.deb program for speech analysis and synthesis
prads_0.3.3-1_amd64.deb Passive Real-time Asset Detection System
prank_0.0.150803-1_amd64.deb Probabilistic Alignment Kit for DNA, codon and amino-acid sequences
praw-doc_3.3.0-1_all.deb Python Reddit API Wrapper (Documentation)
prayer-accountd_1.3.5-dfsg1-3_amd64.deb account management daemon for Prayer
prayer-templates-dev_1.3.5-dfsg1-3_amd64.deb tools for compiling Prayer templates
prayer-templates-src_1.3.5-dfsg1-3_all.deb templates for customizing Prayer Webmail