[ubuntu/jaunty] ppl 0.10-2 (Accepted)

[Ubuntu Installer]

ppl (0.10-2) unstable; urgency=high

  * urgency=high because of RC bug fix.
  * Check snapshots and releases for newer versions.
  * Proper defines on bigendian systems. Closes: #514158.
  * Don't ignore errors while running make check (this would have made visible
    the above bug immediately).

Date: Fri,  06 Feb 2009 10:54:12 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian GCC Maintainers <debian-gcc at lists.debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/jaunty/+source/ppl/0.10-2
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Fri,  06 Feb 2009 10:54:12 +0000
Source: ppl
Binary: libppl7, libppl0.10-dev, libppl-c2, libpwl4, libpwl-dev, libppl-doc
Architecture: source
Version: 0.10-2
Distribution: jaunty
Urgency: high
Maintainer: Debian GCC Maintainers <debian-gcc at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Closes: 514158
Changes: 
 ppl (0.10-2) unstable; urgency=high
 .
   * urgency=high because of RC bug fix.
   * Check snapshots and releases for newer versions.
   * Proper defines on bigendian systems. Closes: #514158.
   * Don't ignore errors while running make check (this would have made visible
     the above bug immediately).
Files: 
 47bac48a976fb4b80bdeb89c2bee69e9 14406 libs optional ppl_0.10-2.diff.gz
 3e21f2cf4e014cfdf09152c800a54042 1350 libs optional ppl_0.10-2.dsc