Ubuntu
ppl package

ppl 1:1.0-7ubuntu1 source package in Ubuntu

Changelog

ppl (1:1.0-7ubuntu1) saucy; urgency=low

  * Merge with Debian; remaining changes:
    - Disable building the SWI-Prolog bindings as its in universe.

ppl (1:1.0-7) unstable; urgency=medium

  * Fix typo in libppl-doc dependencies.
  * Proper fix to build with both gmp 5.0 and 5.1.

ppl (1:1.0-6) unstable; urgency=low

  * Fix build failure with gmp-5.1.

ppl (1:1.0-5) unstable; urgency=low

  * Upload to unstable.

ppl (1:1.0-4) experimental; urgency=low

  * Ignore test failures on s390x. No feedback from the Debian porters.

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.

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.
 -- Matthias Klose <email address hidden>   Sun, 30 Jun 2013 18:23:56 +0200

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Saucy
Original maintainer:
Ubuntu Developers
Architectures:
any all
Section:
libs
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
ppl_1.0.orig.tar.xz 13.2 MiB 304d8e93f1a76077effdebbbd81d053b3c0e1e0eb9b7a46b387f0a57eb8e09c9
ppl_1.0-7ubuntu1.debian.tar.gz 12.5 KiB 677e3ba3176f1e2b523e6dba57d3fc04aa97eb752a999abafef1de706a887684
ppl_1.0-7ubuntu1.dsc 1.6 KiB b0b6e6cd07b63727eb4e186c16dfdd4a5a0d26a830cd3c5e1522f88e484f59d4

Available diffs

View changes file

Binary packages built by this source

libppl-c4: No summary available for libppl-c4 in ubuntu saucy.

No description available for libppl-c4 in ubuntu saucy.

libppl-doc: No summary available for libppl-doc in ubuntu saucy.

No description available for libppl-doc in ubuntu saucy.

libppl0.12-dev: No summary available for libppl0.12-dev in ubuntu saucy.

No description available for libppl0.12-dev in ubuntu saucy.

libppl12: No summary available for libppl12 in ubuntu saucy.

No description available for libppl12 in ubuntu saucy.

ppl-dev: Parma Polyhedra Library (development binaries)

 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.