ppl-dev - Parma Polyhedra Library (development binaries)

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name ppl-dev
Package version 1.1
Package release 3+b1
Package architecture i386
Package type deb
Installed size 258 B
Download size 196.52 KB
Official Mirror ftp.br.debian.org
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-3+b1_amd64.deb 1.1 amd64 Debian Main
ppl-dev - - -


Name Value
libc6 >= 2.4
libgcc1 >= 1:4.1.1
libgmp10 -
libgmpxx4ldbl -
libppl-dev = 1:1.1-3+b1
libppl13 -
libstdc++6 >= 4.4.0


Name Value
libppl0.11-dev -


Type URL
Binary Package ppl-dev_1.1-3+b1_i386.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




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.
2013-05-09 - Matthias Klose <doko@debian.org>
ppl (1:1.1~pre8-1) experimental; urgency=low
* ppl snapshot 1.1pre8.
* Bump libppl soversion.
* Rename libppl0.12-dev to libppl-dev.
2013-05-09 - Matthias Klose <doko@debian.org>
ppl (1:1.0-7) medium; urgency=low
* Fix typo in libppl-doc dependencies.
* Proper fix to build with both gmp 5.0 and 5.1.
2013-05-06 - Matthias Klose <doko@debian.org>
ppl (1:1.0-6) unstable; urgency=low
* Fix build failure with gmp-5.1.
2013-05-06 - Matthias Klose <doko@debian.org>
ppl (1:1.0-5) unstable; urgency=low
* Upload to unstable.
2013-02-09 - Matthias Klose <doko@debian.org>
ppl (1:1.0-4) experimental; urgency=low
* Ignore test failures on s390x. No feedback from the Debian porters.
2013-01-31 - Matthias Klose <doko@debian.org>
ppl (1:1.0-3) experimental; urgency=low
* Bump the epoch (and the release number, because the archive software
can't handle 1:1.0-2 after an 1.0-2 upload), upload to experimental
this time.
2013-01-31 - Matthias Klose <doko@debian.org>
ppl (1.0-2) unstable; urgency=low
* Fix build failure in testsuite on sparc, s390, s390x.
* Don't try to build the prolog bindings on arm64 and hurd-i386.

See Also

Package Description
ppp-dev_2.4.6-3.1_all.deb Point-to-Point Protocol (PPP) - development files
ppp-gatekeeper_0.1.0-201406111015-1_all.deb PPP manager for handling balanced, redundant and failover links
ppp_2.4.6-3.1_i386.deb Point-to-Point Protocol (PPP) - daemon
pppconfig_2.3.21_all.deb Text menu based utility for configuring ppp
pppdcapiplugin_3.25+dfsg1-3.5_i386.deb ISDN utilities - pppd plug-in for CAPI support
pppoe_3.8-3_i386.deb PPP over Ethernet driver
pppoeconf_1.21_all.deb configures PPPoE/ADSL connections
pps-tools_0.20120406+g0deb9c7e-2_i386.deb LinuxPPS support tools and headers
ppsh_1.6.6-1_i386.deb Program to parse and pretty print arbitrary Haskell Show output
pptp-linux_1.7.2-7_i386.deb Point-to-Point Tunneling Protocol (PPTP) Client
pptpd_1.4.0-5_i386.deb PoPToP Point to Point Tunneling Server
pqiv_2.2-1_i386.deb Lightweight image viewer
praat_5.4.0-1_i386.deb program for speech analysis and synthesis
prads_0.3.3-1_i386.deb Passive Real-time Asset Detection System
prank_0.0.140110-1_i386.deb Probabilistic Alignment Kit for DNA, codon and amino-acid sequences