[PPL-devel] [Fwd: ppl_0.10~pre36-1_i386.changes is NEW]

[Roberto Bagnara]

-------- 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 at ftp-master.debian.org>
To: Michael Tautschnig <mt at debian.org>,        Debian GCC Maintainers <debian-gcc at 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 at 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.


-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it