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

[Roberto Bagnara]

-------- Original Message --------
Subject: Accepted ppl 0.10-4 (source all amd64)
Date: Sat, 21 Feb 2009 10:47:38 +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: Fri, 20 Feb 2009 10:11:26 +0100
Source: ppl
Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc
Architecture: source amd64 all
Version: 0.10-4
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-4) unstable; urgency=medium
  .
    * urgency=medium because of FTBFS workaround.
    * With #229357 still being open, we can't use Build-Depends-Indep the way
      policy suggests. It would have been too beautiful anyway.
Checksums-Sha1:
  b7ecfc7c0170a1d8d5a83b790e301a1f91a99632 1354 ppl_0.10-4.dsc
  23eec0b3799da2c09a615d28b5965909b6502bab 7312 ppl_0.10-4.diff.gz
  c29fff3372878ee79b8ecea55fe9d48714e49e53 355360 libppl7_0.10-4_amd64.deb
  48b6454aea9a11051d80d5e4a6453080cc60b287 2774788 libppl0.10-dev_0.10-4_amd64.deb
  626f91c228ff48468646ce88660c1267e3709874 1217986 libppl-c2_0.10-4_amd64.deb
  fe6929e43945ce4cdb10ef2ae31b63b5fb9e1fb8 43464 libpwl4_0.10-4_amd64.deb
  61aea09fc8e6b1730671215d4d52fc751c08dc28 757516 libpwl-dev_0.10-4_amd64.deb
  446ed850937dc8e5e59f7b3fc673b1058dc763af 4338824 libppl-doc_0.10-4_all.deb
Checksums-Sha256:
  f4ed109881d81e3fd3f7844437ea9cb0e8229c0f556a46351a109dfae1d8da97 1354 ppl_0.10-4.dsc
  d4daaf0051a688b2eb773cd4bdbdd405b09cc4b3aa29c724ba8798a80e2c7795 7312 ppl_0.10-4.diff.gz
  341a24d8fb98cf4dd1ba1f5fc2611866af24fe32aa2731ff7fa72a911cdf921f 355360 libppl7_0.10-4_amd64.deb
  ae208ab92df25a365d2fcd2be8e54aaa829b37faa523ffad0481d7090cd7bc74 2774788 libppl0.10-dev_0.10-4_amd64.deb
  e5b8f99400736198f535f8f628e8a8687d538ce5e46380330ec38e7b9e4e8b9c 1217986 libppl-c2_0.10-4_amd64.deb
  7ad187f7332ef9e8a98aa168d69b5f80897d381a56837a6b1da79bca54b075c6 43464 libpwl4_0.10-4_amd64.deb
  7cea69217aff692348442deded7609a4bcc454890b172a3d25859296920ab2e9 757516 libpwl-dev_0.10-4_amd64.deb
  2f7ce6109173d703db9cadd2db7424ab9e3d03b6485f05c85a4768e18a9e698d 4338824 libppl-doc_0.10-4_all.deb
Files:
  fc12e198962f6f86ac243dbcf6d2e116 1354 libs optional ppl_0.10-4.dsc
  69bb791f413e17f2753bfa2049149d65 7312 libs optional ppl_0.10-4.diff.gz
  06c048af17e58a67376c96c592cf135b 355360 libs optional libppl7_0.10-4_amd64.deb
  3cf78e130d422d47b0c1db2bf93ee783 2774788 libdevel optional libppl0.10-dev_0.10-4_amd64.deb
  158f3cb90c5742dfb738454dbff605b7 1217986 libs optional libppl-c2_0.10-4_amd64.deb
  c1cdfcca87f2f7ddb0e036b92679004e 43464 libs optional libpwl4_0.10-4_amd64.deb
  7b30d70a6ad7ffee9665db8ac629bf1a 757516 libdevel optional libpwl-dev_0.10-4_amd64.deb
  ccf87c5dbebd8ba00d0d22cc537f0446 4338824 doc optional libppl-doc_0.10-4_all.deb

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

iEYEARECAAYFAkmf160ACgkQvx6dH3bVKsTNwACgxHxajht0ZXIHer7ubryM+pm6
itcAn1PTg8X+2nb2GHaRp4EhETiY1s8A
=x8Lh
-----END PGP SIGNATURE-----


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