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-----
Reply to: