[PPL-devel] [Fwd: Accepted ppl 0.10-2 (source i386 all)]

Roberto Bagnara bagnara at cs.unipr.it
Thu Feb 5 07:51:23 CET 2009



-------- Original Message --------
Subject: Accepted ppl 0.10-2 (source i386 all)
Date: Thu, 05 Feb 2009 00:17:09 +0000
From: Michael Tautschnig <mt at debian.org>
To: debian-devel-changes at lists.debian.org

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 04 Feb 2009 20:42:26 +0100
Source: ppl
Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc
Architecture: source i386 all
Version: 0.10-2
Distribution: unstable
Urgency: high
Maintainer: Debian GCC Maintainers <debian-gcc at lists.debian.org>
Changed-By: Michael Tautschnig <mt at debian.org>
Description:
  libppl-c2  - Parma Polyhedra Library (C interface)
  libppl-doc - Parma Polyhedra Library: Documentation
  libppl0.10-dev - Parma Polyhedra Library (development)
  libppl7    - Parma Polyhedra Library (runtime library)
  libpwl-dev - Parma Watchdog Library (Watchdog timers - development)
  libpwl4    - Parma Watchdog Library (Watchdog timers - runtime library)
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).
Checksums-Sha1:
  df014cfeddb86583914e2f76015e3523933ffc2d 1350 ppl_0.10-2.dsc
  4be1c305047d62ea3ad5ceebe4e405a765e44e3d 14406 ppl_0.10-2.diff.gz
  39757999d92ccae94d850407881216555092ced1 354174 libppl7_0.10-2_i386.deb
  b57b9aca4b1b71dd604382cf1ee3cf156abc69f5 2628128 libppl0.10-dev_0.10-2_i386.deb
  ffb76464a67f06412e9a11de9403de4b9b2ee6af 1207416 libppl-c2_0.10-2_i386.deb
  35a59971d9a268d843f1d7034788a971db29c546 43272 libpwl4_0.10-2_i386.deb
  438b8575917908b4e3924929a0e965aa5a368ac1 756182 libpwl-dev_0.10-2_i386.deb
  a9b48d0de928f41b0efa4f561bd73abbec8c2f76 4336326 libppl-doc_0.10-2_all.deb
Checksums-Sha256:
  dbd3118eea7386bad502fdf02763392faf95edcc18cb8c30ef4cb8b736586814 1350 ppl_0.10-2.dsc
  d2740836319d6582f1f914e2b761e079a3c835886161b32c66a4df5fd026055e 14406 ppl_0.10-2.diff.gz
  331cae4cfb0271800c71c26dca498a123f4fe52c313b535538c4baf0d998329b 354174 libppl7_0.10-2_i386.deb
  95f851b76d92e8a7ea3146b12d725071cd83de012c562da63d4d4e64654f4225 2628128 libppl0.10-dev_0.10-2_i386.deb
  3499047e06c4c813c2549bf7879befa68f546e1fefeeb9325d6eccf59300f6e5 1207416 libppl-c2_0.10-2_i386.deb
  4dd5bbeb8620dccef5b2be3c1385b98346e4a6a2fb06ecfe6d6cb5300adb33de 43272 libpwl4_0.10-2_i386.deb
  b715ef7794e717717a025d2fd07bf97e8f00d0b4d7c89e25d5aae2a8eb372cf2 756182 libpwl-dev_0.10-2_i386.deb
  f55563bc8fc8bc4d218b76818cb318ca036cace9c9affddc13ce1b023628ad97 4336326 libppl-doc_0.10-2_all.deb
Files:
  3e21f2cf4e014cfdf09152c800a54042 1350 libs optional ppl_0.10-2.dsc
  47bac48a976fb4b80bdeb89c2bee69e9 14406 libs optional ppl_0.10-2.diff.gz
  89172a347934ebafefb327e8c0673b05 354174 libs optional libppl7_0.10-2_i386.deb
  8677c24f8fdbbea39ee60b5ff52213a2 2628128 libdevel optional libppl0.10-dev_0.10-2_i386.deb
  20dd9df302f12f843c2025c8fc337948 1207416 libs optional libppl-c2_0.10-2_i386.deb
  533293403d6e4b2e4caa7d60b609ff0c 43272 libs optional libpwl4_0.10-2_i386.deb
  7d7380728d1a568a3ba550f28c84b083 756182 libdevel optional libpwl-dev_0.10-2_i386.deb
  72f0f264cf0f2ba7269b231e2fb9e658 4336326 doc optional libppl-doc_0.10-2_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkmKLHEACgkQvx6dH3bVKsQ8UwCdHQliUIAYRCId7blHOR9OMhbA
+t4AnRbDiB11+o/KN1bd77XfFKx2sdHP
=lzny
-----END PGP SIGNATURE-----


Accepted:
libppl-c2_0.10-2_i386.deb
   to pool/main/p/ppl/libppl-c2_0.10-2_i386.deb
libppl-doc_0.10-2_all.deb
   to pool/main/p/ppl/libppl-doc_0.10-2_all.deb
libppl0.10-dev_0.10-2_i386.deb
   to pool/main/p/ppl/libppl0.10-dev_0.10-2_i386.deb
libppl7_0.10-2_i386.deb
   to pool/main/p/ppl/libppl7_0.10-2_i386.deb
libpwl-dev_0.10-2_i386.deb
   to pool/main/p/ppl/libpwl-dev_0.10-2_i386.deb
libpwl4_0.10-2_i386.deb
   to pool/main/p/ppl/libpwl4_0.10-2_i386.deb
ppl_0.10-2.diff.gz
   to pool/main/p/ppl/ppl_0.10-2.diff.gz
ppl_0.10-2.dsc
   to pool/main/p/ppl/ppl_0.10-2.dsc


-- 
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



More information about the PPL-devel mailing list