-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 19 Mar 2014 15:27:52 +0100 Source: ppl Binary: libppl13 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: source amd64 all Version: 1:1.1-1 Distribution: unstable Urgency: medium 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-dev - Parma Polyhedra Library (development) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) libppl13 - Parma Polyhedra Library (runtime library) ppl-dev - Parma Polyhedra Library (development binaries) Changes: ppl (1:1.1-1) unstable; urgency=medium . * New upstream version. * Build using dh-autoreconf. * Fix build failures with GCC 4.9. Checksums-Sha1: 884d8d44fbae27dc427949efde17a2662ff31ecb 1572 ppl_1.1-1.dsc d24a9e95c22459b396820109c9bc195f35e60640 14734820 ppl_1.1.orig.tar.xz c2eb0a015f2e188af497930e91345318e23345e3 11752 ppl_1.1-1.debian.tar.xz 459a2cb34db43cc3fca905f3c4334bf85ea1ff9b 606280 libppl13_1.1-1_amd64.deb 9e1dae4012f890f5e4376b6cbc0ef929ee4f1c31 2064956 libppl-dev_1.1-1_amd64.deb 0641def35060e0c46705dc819aa53a94e27ef339 200988 ppl-dev_1.1-1_amd64.deb 9b14ff4f8cdd4ffc14ff7f74af8344c2a9c32932 989372 libppl-c4_1.1-1_amd64.deb d8321c5321093f3508f6e35354f4de30ca97be54 2588840 libppl-swi_1.1-1_amd64.deb 7628881635e3173118152bb4c6c138d31a3da1a4 6646460 libppl-doc_1.1-1_all.deb Checksums-Sha256: ecae468bede8c92dcfea3501358f13245bccd71cbcf61c5f4f4395524b428f9d 1572 ppl_1.1-1.dsc c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 14734820 ppl_1.1.orig.tar.xz 542b940a18790e50da620cb71fc56d95eef50498e14aa2820272b2235d113963 11752 ppl_1.1-1.debian.tar.xz fa1025cfc40280ae88215a2568064a281a7e789a3ded228cfecf7363a1da7700 606280 libppl13_1.1-1_amd64.deb ba751902050353d9b285eafa7b489d4083faddc3223f26321096e00e9aea1392 2064956 libppl-dev_1.1-1_amd64.deb 9fe10db072b263fbd9d7922f5dd63110e924e9b5204437b79c2c5056b3109e04 200988 ppl-dev_1.1-1_amd64.deb 1a8feded8755df5081537135f1b1e2b97ce181e4f915d467d2f17cef3b8f2cd3 989372 libppl-c4_1.1-1_amd64.deb 622951f55b13b129f64c6f218289d457074b1720ac009c8eb498a00cd802487f 2588840 libppl-swi_1.1-1_amd64.deb ba0a434c8169615b063bfd82c0373dfc288d5cd1a87ef0aed02d39916f0a2169 6646460 libppl-doc_1.1-1_all.deb Files: 39586c3d53c6c03e18330ce389b0abff 1572 libs optional ppl_1.1-1.dsc 82617a9c4e08606111ed9d2dc37ececa 14734820 libs optional ppl_1.1.orig.tar.xz 2c3334dd305efdbf1e561bd70e980c3e 11752 libs optional ppl_1.1-1.debian.tar.xz 32340ba77908f11a310ac9122a42f49a 606280 libs optional libppl13_1.1-1_amd64.deb 78b4ff577f7a91ba00ce8c21a3bef0e4 2064956 libdevel optional libppl-dev_1.1-1_amd64.deb 1adb90f4d3ae9b3c820cb30b62dd95a3 200988 devel optional ppl-dev_1.1-1_amd64.deb cfc44640c416f78d12f2bb7fe0f4bf8a 989372 libs optional libppl-c4_1.1-1_amd64.deb 2f75b326932d4eab7f22bac72a6b7a4b 2588840 libs optional libppl-swi_1.1-1_amd64.deb 5fc42b10bd5bc416ea1fd69e7eec7570 6646460 doc optional libppl-doc_1.1-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlMp6FwACgkQStlRaw+TLJzRbQCeKvnWoIhGDbCqF6Lyg2HoxfbT 7BAAoIkO078WbyP9VSQoTgLmfiRnNZ5t =whzr -----END PGP SIGNATURE-----
