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 | 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
- diff from 1.0-1ubuntu2 to 1:1.0-7ubuntu1 (2.5 KiB)
Binary packages built by this source
- libppl-c4: Parma Polyhedra Library (C interface)
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 C interface.
- libppl-doc: Parma Polyhedra Library: Documentation
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 documentation.
- libppl0.12-dev: No summary available for libppl0.12-dev in ubuntu trusty.
No description available for libppl0.12-dev in ubuntu trusty.
- libppl12: No summary available for libppl12 in ubuntu trusty.
No description available for libppl12 in ubuntu trusty.
- 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.
