-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 07 Nov 2010 19:39:32 +0100 Source: ppl Binary: libppl9 libppl0.11-dev libppl-c4 libpwl5 libpwl-dev libppl-doc libppl-swi Architecture: source amd64 all Version: 0.11-2 Distribution: experimental Urgency: low Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Michael Tautschnig <mt@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) Changes: ppl (0.11-2) experimental; urgency=low . * Again disable 2 Prolog tests as there is some failure on PowerPC only that I'm unable to debug (see also 0.10.2-5). Checksums-Sha1: 770e1eae84cb0d38dcf6a5ef9f47dd965b750ad1 1423 ppl_0.11-2.dsc 63d33ba927c1d833daeb18b718aac9399dbe1d51 303855 ppl_0.11-2.debian.tar.gz 26b0ce2c4cafd396e1cee4a4054eb3046119e36b 510872 libppl9_0.11-2_amd64.deb bde98124bf8d255a901ef95fb8ffef305d692f48 3754656 libppl0.11-dev_0.11-2_amd64.deb 3567901fa1ef371d04181b248eec45aedaf38964 1826924 libppl-c4_0.11-2_amd64.deb b79cbd97495f3ae89db0c9395807bea1dd364bde 21830 libpwl5_0.11-2_amd64.deb 667002733dda3fc501a5c2d430d40f085e50050a 30716 libpwl-dev_0.11-2_amd64.deb 5f570f671253b2431fd02f127f491cddfe5bfce7 8598318 libppl-swi_0.11-2_amd64.deb 601d4994f4060acdb1438076ad03bb37c7c2495a 4108934 libppl-doc_0.11-2_all.deb Checksums-Sha256: 1ed171b8ba75c54f49e8ee2f4b7465ce8601e39901274d4a646050d43faa833c 1423 ppl_0.11-2.dsc f5cbfc2423d848d951e9cf55fb75d862c32ad1d856943be61b436460e3cb8755 303855 ppl_0.11-2.debian.tar.gz decdc453bafb323d13ca70d871022401ef8db0d0d117373b24c855675517fffc 510872 libppl9_0.11-2_amd64.deb 5bfb9205e63e40f23bae7b1d875f4e2ea1c771386d0620dd1db1454ae3f88a26 3754656 libppl0.11-dev_0.11-2_amd64.deb 2c5fc27768933d0f0b328dd1000ab277289a2a7952c18c56274c770ea13d1dbf 1826924 libppl-c4_0.11-2_amd64.deb 3ff637475094d71f76464d12e47b8f69a09a9573737f26e4aa9a5157f1acfe46 21830 libpwl5_0.11-2_amd64.deb f06e102177a6d97aa29efdd987ca1d0f53f6126e85a4ad8a4acfee17ace6b043 30716 libpwl-dev_0.11-2_amd64.deb ee6ff6280c3c9666647cfc82cb9884156e902d724711b667e73e935bd7ce6cb0 8598318 libppl-swi_0.11-2_amd64.deb ecfdbc6fbf4ac65a4f8f318ef23bab6961f637f024fa473546cf8420acb0e36b 4108934 libppl-doc_0.11-2_all.deb Files: 639fa53f14ca87c013d52f4b8cbc71a1 1423 libs optional ppl_0.11-2.dsc 4ad42f3f164e9f9087c8c81e54e567c3 303855 libs optional ppl_0.11-2.debian.tar.gz d475fd23a1699dec5e0e43da86e9a398 510872 libs optional libppl9_0.11-2_amd64.deb 9bed40cc4ffa7f00a090ff96936f1c87 3754656 libdevel optional libppl0.11-dev_0.11-2_amd64.deb 5defd778fb0876b5e7f9f22493421af6 1826924 libs optional libppl-c4_0.11-2_amd64.deb 956aa9ea4fd6ade8db1eb1ab9f72eb5a 21830 libs optional libpwl5_0.11-2_amd64.deb c8cfe5009efa8dae72efaa2b90b70652 30716 libdevel optional libpwl-dev_0.11-2_amd64.deb 88cfb06cd271072c55e0d1f2b4bdee32 8598318 libs optional libppl-swi_0.11-2_amd64.deb d88fff0b91e43bc2e4c35c6217e5a852 4108934 doc optional libppl-doc_0.11-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkzXrjoACgkQvx6dH3bVKsSqygCgxovETn4xvWAHFnryoqflVYhW 1mgAoKzKWJJKX3B5z+D+Xvh+o+Ay4qvU =O5Er -----END PGP SIGNATURE----- Accepted: libppl-c4_0.11-2_amd64.deb to main/p/ppl/libppl-c4_0.11-2_amd64.deb libppl-doc_0.11-2_all.deb to main/p/ppl/libppl-doc_0.11-2_all.deb libppl-swi_0.11-2_amd64.deb to main/p/ppl/libppl-swi_0.11-2_amd64.deb libppl0.11-dev_0.11-2_amd64.deb to main/p/ppl/libppl0.11-dev_0.11-2_amd64.deb libppl9_0.11-2_amd64.deb to main/p/ppl/libppl9_0.11-2_amd64.deb libpwl-dev_0.11-2_amd64.deb to main/p/ppl/libpwl-dev_0.11-2_amd64.deb libpwl5_0.11-2_amd64.deb to main/p/ppl/libpwl5_0.11-2_amd64.deb ppl_0.11-2.debian.tar.gz to main/p/ppl/ppl_0.11-2.debian.tar.gz ppl_0.11-2.dsc to main/p/ppl/ppl_0.11-2.dsc