libppl-c2_0.10.2-3_amd64.deb
to pool/main/p/ppl/libppl-c2_0.10.2-3_amd64.deb
libppl-doc_0.10.2-3_all.deb
to pool/main/p/ppl/libppl-doc_0.10.2-3_all.deb
(new) libppl-swi_0.10.2-3_amd64.deb optional libs
Parma Polyhedra Library (SWI Prolog 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 SWI Prolog interface.
libppl0.10-dev_0.10.2-3_amd64.deb
to pool/main/p/ppl/libppl0.10-dev_0.10.2-3_amd64.deb
libppl7_0.10.2-3_amd64.deb
to pool/main/p/ppl/libppl7_0.10.2-3_amd64.deb
libpwl-dev_0.10.2-3_amd64.deb
to pool/main/p/ppl/libpwl-dev_0.10.2-3_amd64.deb
libpwl4_0.10.2-3_amd64.deb
to pool/main/p/ppl/libpwl4_0.10.2-3_amd64.deb
ppl_0.10.2-3.diff.gz
to pool/main/p/ppl/ppl_0.10.2-3.diff.gz
ppl_0.10.2-3.dsc
to pool/main/p/ppl/ppl_0.10.2-3.dsc
Changes: ppl (0.10.2-3) unstable; urgency=low
.
* Bumped Standars-Version to 3.8.3 (no changes).
* Added README.source.
* Added current upstream patches for 0.10.2.
* Don't watch snapshots, only do stable releases.
* Added SWI-Prolog bindings (new package libppl-swi, thanks Israel Herraiz
<i...@herraiz.org>). Closes: #540083.
Override entries for your package:
libppl-c2_0.10.2-3_amd64.deb - optional libs
libppl-doc_0.10.2-3_all.deb - optional doc
libppl0.10-dev_0.10.2-3_amd64.deb - optional libdevel
libppl7_0.10.2-3_amd64.deb - optional libs
libpwl-dev_0.10.2-3_amd64.deb - optional libdevel
libpwl4_0.10.2-3_amd64.deb - optional libs
ppl_0.10.2-3.dsc - source libs
Announcing to debian-devel-chan...@lists.debian.org
Closing bugs: 540083
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
