-------- Original Message -------- Subject: ppl_0.10~pre36-1_i386.changes is NEW Date: Wed, 29 Oct 2008 00:02:07 +0000 From: Debian Installer installer@ftp-master.debian.org To: Michael Tautschnig mt@debian.org, Debian GCC Maintainers debian-gcc@lists.debian.org

libppl-c2_0.10~pre36-1_i386.deb to pool/main/p/ppl/libppl-c2_0.10~pre36-1_i386.deb libppl-doc_0.10~pre36-1_all.deb to pool/main/p/ppl/libppl-doc_0.10~pre36-1_all.deb (new) libppl0.10-dev_0.10~pre36-1_i386.deb optional libdevel Parma Polyhedra Library (development) 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. libppl7_0.10~pre36-1_i386.deb to pool/main/p/ppl/libppl7_0.10~pre36-1_i386.deb libpwl-dev_0.10~pre36-1_i386.deb to pool/main/p/ppl/libpwl-dev_0.10~pre36-1_i386.deb libpwl4_0.10~pre36-1_i386.deb to pool/main/p/ppl/libpwl4_0.10~pre36-1_i386.deb ppl_0.10~pre36-1.diff.gz to pool/main/p/ppl/ppl_0.10~pre36-1.diff.gz ppl_0.10~pre36-1.dsc to pool/main/p/ppl/ppl_0.10~pre36-1.dsc ppl_0.10~pre36.orig.tar.gz to pool/main/p/ppl/ppl_0.10~pre36.orig.tar.gz Changes: ppl (0.10~pre36-1) unstable; urgency=low . [ Michael Tautschnig ] * New upstream snapshot. * Builds on arm. Really. Closes: #499746. * Build documentation in binary-indep only. Closes: #501926. * Only build C and C++ interfaces and the corresponding docs. * Renamed libppl-dev to libppl0.10-dev to be prepared for versioned ppl source packages. * Build and install user documentation only. * Don't install the demos. * Cleanup of debian/rules . [ Matthias Klose ] * Call debhelper tools in binary targets with -i/-a.

Override entries for your package: libppl-c2_0.10~pre36-1_i386.deb - optional libs libppl-doc_0.10~pre36-1_all.deb - optional doc libppl7_0.10~pre36-1_i386.deb - optional libs libpwl-dev_0.10~pre36-1_i386.deb - optional libdevel libpwl4_0.10~pre36-1_i386.deb - optional libs ppl_0.10~pre36-1.dsc - source libs

Announcing to debian-devel-changes@lists.debian.org Closing bugs: 499746 501926

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.