Accepted ppl 0.11.2-7 (source all amd64)

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

Format: 1.8
Date: Tue, 07 Aug 2012 12:49:10 +0200
Source: ppl
Binary: libppl9 libppl0.11-dev libppl-c4 libpwl5 libpwl-dev libppl-doc libppl-swi
Architecture: source amd64 all
Version: 0.11.2-7
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <doko@debian.org>
Description: 
 libppl-c4  - Parma Polyhedra Library (C interface)
 libppl-doc - Parma Polyhedra Library: Documentation
 libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
 libppl0.11-dev - Parma Polyhedra Library (development)
 libppl9    - Parma Polyhedra Library (runtime library)
 libpwl-dev - Parma Watchdog Library (Watchdog timers - development)
 libpwl5    - Parma Watchdog Library (Watchdog timers - runtime library)
Closes: 645003
Changes: 
 ppl (0.11.2-7) unstable; urgency=low
 .
   * Mark libppl0.11-dev as Multi-Arch: same again, and install the header
     files in the multiarch include path.
     Needs a follow-up patch to split out the ppl-config binary.
   * Disable the build of the swi prolog bindings for DEB_STAGE 1 builds.
     Closes: #645003.
Checksums-Sha1: 
 34c7d13ed42423dc6b73d42b6d967a6fbc4e58f4 1656 ppl_0.11.2-7.dsc
 fd1336535a28c29bec43890c252031d12288b759 15087 ppl_0.11.2-7.debian.tar.gz
 26fc08f43cbb9d7b62a081eb3dd50f2848b4cabe 540028 libppl9_0.11.2-7_amd64.deb
 83b1e6b5a9fab14048c0d58cf36f5f71d8201334 3623326 libppl0.11-dev_0.11.2-7_amd64.deb
 9580a8cc26331b8744fbf54e9df69046c5de9ff6 1516254 libppl-c4_0.11.2-7_amd64.deb
 c008e6cd7a5d7bde6704816da4713c401bb4d6f5 30520 libpwl5_0.11.2-7_amd64.deb
 bf6ee8ebb811b71c0efc3e581b5158a071e837b9 39244 libpwl-dev_0.11.2-7_amd64.deb
 b4e735a55fd91a8c527dcb26e605a85daf2b5090 5394894 libppl-swi_0.11.2-7_amd64.deb
 f66b076bfb1e43869ddf9f4a738e7d1fcb70c903 4441884 libppl-doc_0.11.2-7_all.deb
Checksums-Sha256: 
 a355b11135e976d2580a6b5ec798a0fa81da8cb0ed118aa40fed7ad9cf582fdd 1656 ppl_0.11.2-7.dsc
 40a4202c105cb7a2097b8d19e1b03a9281e0d3d948d46496db1562ed42cc9bc6 15087 ppl_0.11.2-7.debian.tar.gz
 3ff360953d0e6b6ddb98d7d19a99551b1ba42624ceb97fec95a07cf0cce215d7 540028 libppl9_0.11.2-7_amd64.deb
 d6b59e654576f23ae4e37a0103ec872caccdb80ce89b63bff9429d4415886fee 3623326 libppl0.11-dev_0.11.2-7_amd64.deb
 b084115fa20724b27f2b4eeed7c147e653039c32bc421b77c4f35a31bc043278 1516254 libppl-c4_0.11.2-7_amd64.deb
 dda8af3d4e111b89147a477dc769b97a18eaf91219abae8f7b776183302a9a6c 30520 libpwl5_0.11.2-7_amd64.deb
 71ebf96b655c5170bd5041693266834e0d0c9942e25fd35e33c1fb070472e752 39244 libpwl-dev_0.11.2-7_amd64.deb
 e560e82da76eecff3658daf1d3adfdcb23ccfa979a4904d9eedf7c9c9e49a17d 5394894 libppl-swi_0.11.2-7_amd64.deb
 cb647b236171c86c4fdb1140ceccf6488259ac8597cec33a82e06da9a5681257 4441884 libppl-doc_0.11.2-7_all.deb
Files: 
 060d549fbba05649305df6079c2395ca 1656 libs optional ppl_0.11.2-7.dsc
 1035dc7d1293980ef9429e3ae90261c4 15087 libs optional ppl_0.11.2-7.debian.tar.gz
 53c9a4bd2f99a17526d2be60ab5c8a75 540028 libs optional libppl9_0.11.2-7_amd64.deb
 51f3ded121d4e4369f2f5e08f461a384 3623326 libdevel optional libppl0.11-dev_0.11.2-7_amd64.deb
 9c09d0c9eae83df04cce7b2598fa6624 1516254 libs optional libppl-c4_0.11.2-7_amd64.deb
 1be19b46224bf3d8b9825793b966c9a8 30520 libs optional libpwl5_0.11.2-7_amd64.deb
 769b61a7af07eca3c7e0f4c08733e311 39244 libdevel optional libpwl-dev_0.11.2-7_amd64.deb
 20a65779ab67f601d79debeb0fa44ce5 5394894 libs optional libppl-swi_0.11.2-7_amd64.deb
 d8fbc7b4457c106c134e6d391c3c93c8 4441884 doc optional libppl-doc_0.11.2-7_all.deb

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

iEYEARECAAYFAlAhUckACgkQStlRaw+TLJxSEwCgw2Dcu5vP4DEF5VJ9qOEUnvQG
wFUAn1QYsnpc7ymc/skvljnQm4NczoSn
=nrtM
-----END PGP SIGNATURE-----