[PPL-devel] [Fwd: Accepted ppl 0.10-3 (source all amd64)]

[Roberto Bagnara]

-------- Original Message --------
Subject: Accepted ppl 0.10-3 (source all amd64)
Date: Wed, 18 Feb 2009 16:02:15 +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: Tue, 17 Feb 2009 09:10:34 +0100
Source: ppl
Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc
Architecture: source amd64 all
Version: 0.10-3
Distribution: unstable
Urgency: medium
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)
Changes:
  ppl (0.10-3) unstable; urgency=medium
  .
    * urgency=medium because of FTBFS workaround.
    * Exclude test11-test18 of generalizedaffineimage3.cc on alpha because of
      bugs in gcc/exception handling.
    * Moved the dependencies needed for building the documentation to
      Build-Depends-Indep.
    * Introducing quilt to manage patches.
Checksums-Sha1:
  2cea3e3d8fd393b07dbe3818f3f49c2eff09bee5 1374 ppl_0.10-3.dsc
  9f85257756956e06e15e39704f43a0278f462025 7226 ppl_0.10-3.diff.gz
  eb395311ef03dfcedaa3178bdbf7f2fb64e51892 355168 libppl7_0.10-3_amd64.deb
  aba6e9a1ff20101f48806df2519c883d5e3c6f2e 2774754 libppl0.10-dev_0.10-3_amd64.deb
  68b8236d1a0a235caee3ef99fc2e2b4b2beb033b 1217944 libppl-c2_0.10-3_amd64.deb
  6ea556fc3130a1e540ec10c07de6ebd2f9690818 43362 libpwl4_0.10-3_amd64.deb
  6aa932bb4e7661a593840c52771790e484c9397a 757416 libpwl-dev_0.10-3_amd64.deb
  847004481b05deb126ccf5bd8e9fbdf100b58858 4338658 libppl-doc_0.10-3_all.deb
Checksums-Sha256:
  ffb2ef7916a5ab11a9f45a904adfd8850c836481f3177aa616b1cbb642ba8d27 1374 ppl_0.10-3.dsc
  f3bc602f5e318c933e8a9c2be8a5fe109983100154ea21fda69686486fa82c1c 7226 ppl_0.10-3.diff.gz
  99b89aa4ccc9f7b38c1afe05f3ce929c7f3237854122f9c685f928493f3bf1fb 355168 libppl7_0.10-3_amd64.deb
  2feab5d4c6983d9991f55c774e65b913d3afe7a0c5ebec61d518127d1eb7d0cb 2774754 libppl0.10-dev_0.10-3_amd64.deb
  5429434c0a297dda590f607ab522633052e2a8b62215bf955e3ab3f68a16b05c 1217944 libppl-c2_0.10-3_amd64.deb
  aad7b97c773069335faf40e0dcbeb9bb6c99ed1be8dd777338ae8bdf7dec6de6 43362 libpwl4_0.10-3_amd64.deb
  bf576c795b49d303e7056ac91a037eb93847a62bea14ae5ce08b1157dbd9acd9 757416 libpwl-dev_0.10-3_amd64.deb
  1b97a5e706c2d330a0c24007588a656e06b78ffe54f065d644e8bb3131c3d50b 4338658 libppl-doc_0.10-3_all.deb
Files:
  d7d112415b93e1e83c3e4d7c1803cbf0 1374 libs optional ppl_0.10-3.dsc
  954c13b42578bc15a6356fcffa27d3ee 7226 libs optional ppl_0.10-3.diff.gz
  10a8020a9ea8d422ef0300496f1f3726 355168 libs optional libppl7_0.10-3_amd64.deb
  b921fca65dfea039608b012f6ded9fc5 2774754 libdevel optional libppl0.10-dev_0.10-3_amd64.deb
  c0dd4a1cd1771bc94eacf0277a22be90 1217944 libs optional libppl-c2_0.10-3_amd64.deb
  c8bdbcb9b0cebb693debb8db32067702 43362 libs optional libpwl4_0.10-3_amd64.deb
  8c26536b2daf78f1c1ceca01e4f9b5f9 757416 libdevel optional libpwl-dev_0.10-3_amd64.deb
  71ee3f4b768d0a1fa979b920b103eca5 4338658 doc optional libppl-doc_0.10-3_all.deb

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

iEYEARECAAYFAkmcL0sACgkQvx6dH3bVKsQiIACgz3eXyeYvGY3tMvVJk6VlRDfo
rC4AoImducOw/yjOcIXSe8wD9eBn7YLo
=QcuP
-----END PGP SIGNATURE-----


Accepted:
libppl-c2_0.10-3_amd64.deb
   to pool/main/p/ppl/libppl-c2_0.10-3_amd64.deb
libppl-doc_0.10-3_all.deb
   to pool/main/p/ppl/libppl-doc_0.10-3_all.deb
libppl0.10-dev_0.10-3_amd64.deb
   to pool/main/p/ppl/libppl0.10-dev_0.10-3_amd64.deb
libppl7_0.10-3_amd64.deb
   to pool/main/p/ppl/libppl7_0.10-3_amd64.deb
libpwl-dev_0.10-3_amd64.deb
   to pool/main/p/ppl/libpwl-dev_0.10-3_amd64.deb
libpwl4_0.10-3_amd64.deb
   to pool/main/p/ppl/libpwl4_0.10-3_amd64.deb
ppl_0.10-3.diff.gz
   to pool/main/p/ppl/ppl_0.10-3.diff.gz
ppl_0.10-3.dsc
   to pool/main/p/ppl/ppl_0.10-3.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