libppl-dev_1.1-3+b1_i386.deb


Advertisement

Description

libppl-dev - Parma Polyhedra Library (development)

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name libppl-dev
Package version 1.1
Package release 3+b1
Package architecture i386
Package type deb
Installed size 14.25 KB
Download size 1.98 MB
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 header files and static libraries for the
C and C++ interfaces.

Alternatives

Package Version Architecture Repository
libppl-dev_1.1-3+b1_amd64.deb 1.1 amd64 Debian Main
libppl-dev - - -

Requires

Name Value
libppl-c4 = 1:1.1-3+b1
libppl13 = 1:1.1-3+b1

Provides

Name Value
libppl-c-dev -
libppl0.12-dev -

Conflicts

Name Value
libppl0.10-dev -
libppl0.11-dev -

Replaces

Name Value
libppl0.12-dev -
libppl6 -
libppl7 << 0.10~pre27-4
libppl9 -

Download

Type URL
Binary Package libppl-dev_1.1-3+b1_i386.deb
Source Package ppl

Install Howto

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

Files

Path
/usr/include/i386-linux-gnu/ppl.hh
/usr/include/i386-linux-gnu/ppl_c.h
/usr/lib/i386-linux-gnu/libppl.a
/usr/lib/i386-linux-gnu/libppl.so
/usr/lib/i386-linux-gnu/libppl_c.a
/usr/lib/i386-linux-gnu/libppl_c.so
/usr/share/aclocal/ppl.m4
/usr/share/aclocal/ppl_c.m4
/usr/share/doc/libppl-dev/BUGS
/usr/share/doc/libppl-dev/CREDITS.gz
/usr/share/doc/libppl-dev/NEWS.gz
/usr/share/doc/libppl-dev/README.gz
/usr/share/doc/libppl-dev/changelog.Debian.gz
/usr/share/doc/libppl-dev/changelog.Debian.i386.gz
/usr/share/doc/libppl-dev/changelog.gz
/usr/share/doc/libppl-dev/copyright
/usr/share/man/man3/libppl.3.gz
/usr/share/man/man3/libppl_c.3.gz

Changelog

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
libppl-doc_1.1-3_all.deb Parma Polyhedra Library: Documentation
libppl-swi_1.1-3+b1_i386.deb Parma Polyhedra Library (SWI Prolog interface)
libppl13_1.1-3+b1_i386.deb Parma Polyhedra Library (runtime library)
libpq-dev_9.4.18-0+deb8u1_i386.deb header files for libpq5 (PostgreSQL library)
libpq5_9.4.18-0+deb8u1_i386.deb PostgreSQL C client library
libpqtypes-dev_1.5.1-2_i386.deb parameterized queries libpq extension - development
libpqtypes0_1.5.1-2_i386.deb parameterized queries libpq extension - shared library
libpqxx-4.0_4.0.1+dfsg-3_i386.deb C++ library to connect to PostgreSQL
libpqxx-dev_4.0.1+dfsg-3_i386.deb C++ library to connect to PostgreSQL (development files)
libpqxx-doc_4.0.1+dfsg-3_all.deb C++ library to connect to PostgreSQL (documentation)
libpqxx3-dev_4.0.1+dfsg-3_all.deb Transitional dummy package for libpqxx-dev
libpracticalxml-java_1.1.17-1_all.deb practical XML handling routines
libpragmatic-perl_1.7-2_all.deb Adds pragmata to Exporter
libpreferencepanes-dev_1.2.0-2_i386.deb GNUstep preferences library - development files
libpreferencepanes1_1.2.0-2_i386.deb GNUstep preferences library - runtime library
Advertisement
Advertisement