-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 03 Feb 2010 00:11:22 +0100 Source: ppl Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc libppl-swi Architecture: source amd64 all Version: 0.10.2-4 Distribution: unstable Urgency: low Maintainer: Debian GCC Maintainers <debian-...@lists.debian.org> Changed-By: Michael Tautschnig <m...@debian.org> Description: libppl-c2 - Parma Polyhedra Library (C interface) libppl-doc - Parma Polyhedra Library: Documentation libppl-swi - Parma Polyhedra Library (SWI Prolog interface) 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.2-4) unstable; urgency=low . * Switch to dpkg-source 3.0 (quilt) format, removed quilt-related code from debian/rules. * Bumped Standars-Version to 3.8.4 (no changes). * Added ${misc:Depends} as we are using debhelper. * Build SWI-Prolog bindings on linux architectures only as swi-prolog is not available on others. Checksums-Sha1: 7797cc322ca56b8d3518d482f0b41812703de9f2 1497 ppl_0.10.2-4.dsc b8bacf714ee6f3ab5770cb9a30eed363e2e999b0 13531 ppl_0.10.2-4.debian.tar.gz b49df1019ed523aad1958e50457c0bfcedfbe7b7 374328 libppl7_0.10.2-4_amd64.deb b3b974862e31f5e966a9735b9b19dd47e59dc1f1 2878130 libppl0.10-dev_0.10.2-4_amd64.deb 1de9330b243c8ac52b90e74d2343229dcf967dd6 1309982 libppl-c2_0.10.2-4_amd64.deb bca6d178c052d5e49431bdc35e6010bfee4feda9 19282 libpwl4_0.10.2-4_amd64.deb 567e00c0426903a159575cafb02381433988ad28 25846 libpwl-dev_0.10.2-4_amd64.deb e41f8b43fccfc24d8cdb8f5ceae5d233a0583584 6122866 libppl-swi_0.10.2-4_amd64.deb 47bfd2513805a5f0ef5559c631b2a3ad3458688f 3621618 libppl-doc_0.10.2-4_all.deb Checksums-Sha256: 1bc6a0b95c6ae36602d4ed8fb6a1c6b5616fdcd8ec60d1c3517058b5fbab7c79 1497 ppl_0.10.2-4.dsc 36d4f4b983e5a3764168dd94e09d9abfb5b0c29e4794e9550e0c485b050127f6 13531 ppl_0.10.2-4.debian.tar.gz dab0acf23c5ebaa3342b69cfa0dd2a309c6c1d11460bec09a88c36cb795482c9 374328 libppl7_0.10.2-4_amd64.deb abe01aa132f11ed508c56dead9610074df502a387fd7d1d8ccc3f712b029e35b 2878130 libppl0.10-dev_0.10.2-4_amd64.deb a8a5613d8b3b260d663bf8eab5186b59a31e896eb661c384a4e93be0b1700071 1309982 libppl-c2_0.10.2-4_amd64.deb 3af1a2e48d034078ea58fba86b6bcba7f4904590957615021a9b62fcd74c5d00 19282 libpwl4_0.10.2-4_amd64.deb 713fd72cc6b10b5c1e7922efe805b8cce3d78269dbefd0a64bfa083caa5c11fa 25846 libpwl-dev_0.10.2-4_amd64.deb ab7f0e1c81dd6cc8f6306b5febd7587ac1f075bec0e7b980280500b227874a61 6122866 libppl-swi_0.10.2-4_amd64.deb 3a826e891e5d5a07fa7c34c756fb3bc128504b888ed48f97eda68c6b168e3152 3621618 libppl-doc_0.10.2-4_all.deb Files: ac8a2c2199aa03a3f7c012c73bf324b4 1497 libs optional ppl_0.10.2-4.dsc b697e3fe658ae5d3c4bdbca1bde517b6 13531 libs optional ppl_0.10.2-4.debian.tar.gz 6d54bbf9c8b0e7efc3bf9791e7055e78 374328 libs optional libppl7_0.10.2-4_amd64.deb f90c90895d55634aec9246d0748583f0 2878130 libdevel optional libppl0.10-dev_0.10.2-4_amd64.deb d7ed85e54b1e66b9b6a9ed1110958be7 1309982 libs optional libppl-c2_0.10.2-4_amd64.deb e35b170acdc8a9de8b8f1b10ab376ca1 19282 libs optional libpwl4_0.10.2-4_amd64.deb 3e15f6e755ec83c1a0cdc9e1496d70d3 25846 libdevel optional libpwl-dev_0.10.2-4_amd64.deb d9cf63fa5ac2f615ad385a466d06526f 6122866 libs optional libppl-swi_0.10.2-4_amd64.deb 89e27871d063f8e6b1ce9bed4faa0638 3621618 doc optional libppl-doc_0.10.2-4_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAktpR3EACgkQvx6dH3bVKsQftgCg3UDE8byzpJspQcbzxo+30WXK DWoAn3adOoHFuvhSWN6qW5tng1tF6Yor =kDkm -----END PGP SIGNATURE----- Accepted: libppl-c2_0.10.2-4_amd64.deb to main/p/ppl/libppl-c2_0.10.2-4_amd64.deb libppl-doc_0.10.2-4_all.deb to main/p/ppl/libppl-doc_0.10.2-4_all.deb libppl-swi_0.10.2-4_amd64.deb to main/p/ppl/libppl-swi_0.10.2-4_amd64.deb libppl0.10-dev_0.10.2-4_amd64.deb to main/p/ppl/libppl0.10-dev_0.10.2-4_amd64.deb libppl7_0.10.2-4_amd64.deb to main/p/ppl/libppl7_0.10.2-4_amd64.deb libpwl-dev_0.10.2-4_amd64.deb to main/p/ppl/libpwl-dev_0.10.2-4_amd64.deb libpwl4_0.10.2-4_amd64.deb to main/p/ppl/libpwl4_0.10.2-4_amd64.deb ppl_0.10.2-4.debian.tar.gz to main/p/ppl/ppl_0.10.2-4.debian.tar.gz ppl_0.10.2-4.dsc to main/p/ppl/ppl_0.10.2-4.dsc -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org