-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 02 Mar 2010 16:08:49 +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-6 Distribution: unstable Urgency: low Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org> Changed-By: Michael Tautschnig <mt@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-6) unstable; urgency=low . * Another bugfix to work around incomplete signal handling on hurd. Checksums-Sha1: b60c180951dde070713a1f3caddaa4e39eb01fbe 1482 ppl_0.10.2-6.dsc 9ee6e219c45e55b0c224648e8789822ea6c249a1 311068 ppl_0.10.2-6.debian.tar.gz c62b5d71e4054eefb00b29820308e11127e42862 373870 libppl7_0.10.2-6_amd64.deb 76897db52eac153ee48380f96e93c43350264d61 2850930 libppl0.10-dev_0.10.2-6_amd64.deb 1c74fee9b3d59bab7d36dd03a2731b4645cfdb97 1288194 libppl-c2_0.10.2-6_amd64.deb 480d5edff90b8aefc472c62c0f13348bbdaf586b 19310 libpwl4_0.10.2-6_amd64.deb 69d81046869a50760f4473e0297aa289eff0cb6a 26162 libpwl-dev_0.10.2-6_amd64.deb 88c72a6e0e07f67fdb5361f94ffdb3d083b779d5 6050906 libppl-swi_0.10.2-6_amd64.deb a7bd6e106b5b7eef75f3302bd7510263133c1e02 3621782 libppl-doc_0.10.2-6_all.deb Checksums-Sha256: 026b276a1c035415e64ca2a012d73e4f5f699ede7d9607147e922267dee09056 1482 ppl_0.10.2-6.dsc 77b84be9fdce5f7b78df5dfc79d05441c2e57d2e68dd730ac3c2662409b5c2be 311068 ppl_0.10.2-6.debian.tar.gz 6ec6369408e873c63fe8ffa0ca329713adc4a6db1bba5382b5fd75dd5edc93ff 373870 libppl7_0.10.2-6_amd64.deb 5bf7ccdf366d859bd018e767d9ea8352bf2b3e96b4a2f6241af629057dbf0584 2850930 libppl0.10-dev_0.10.2-6_amd64.deb 137e6f2a9df862336a6177de288f1e220d2a3df9cd264522e7f1ece8d6dcb099 1288194 libppl-c2_0.10.2-6_amd64.deb 1e6997368f36df0b3990fe8ba4c66d10f3864011ed511441b4e4f1bfb5d93516 19310 libpwl4_0.10.2-6_amd64.deb 29365554ce65234d221ba93f8800af0f89fa612b7fb11e625d648a84b40dd696 26162 libpwl-dev_0.10.2-6_amd64.deb b575a7036b8f7d5c0871be42eae1f61869c0ffb35cbb3488b8aa45fbf721b9d1 6050906 libppl-swi_0.10.2-6_amd64.deb 6f60e306a544c06bf1845399bc5f3104b736e117fc3742bbc6d2eb95ba7dc0d2 3621782 libppl-doc_0.10.2-6_all.deb Files: 82d4cc2dc346a54c6abd3bf271d4de1f 1482 libs optional ppl_0.10.2-6.dsc 88dde0f4d30d3eba643a864dd00d52ff 311068 libs optional ppl_0.10.2-6.debian.tar.gz 454554a03902bd30c11c7e971e8037d8 373870 libs optional libppl7_0.10.2-6_amd64.deb 81d235ce695abee02a64c37bcc17ff3c 2850930 libdevel optional libppl0.10-dev_0.10.2-6_amd64.deb 44d33ed0ba4cd242d33a29a5523a03eb 1288194 libs optional libppl-c2_0.10.2-6_amd64.deb d34a5bbe569b0eb2868d25ab3e450db9 19310 libs optional libpwl4_0.10.2-6_amd64.deb bbaaf27165b5d7b08c66beada892a5d8 26162 libdevel optional libpwl-dev_0.10.2-6_amd64.deb e45e93f6578b94081625caf4f49922ae 6050906 libs optional libppl-swi_0.10.2-6_amd64.deb 31edb126b9d9d25c27b21a9efb9e4ef7 3621782 doc optional libppl-doc_0.10.2-6_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkuNdu0ACgkQvx6dH3bVKsRSeQCfQW3XPvsqPyoXme82zhy2MRWT xk4AnA9yyKz0htsemhhpshy4gl3AYLSL =ZfMo -----END PGP SIGNATURE----- Accepted: libppl-c2_0.10.2-6_amd64.deb to main/p/ppl/libppl-c2_0.10.2-6_amd64.deb libppl-doc_0.10.2-6_all.deb to main/p/ppl/libppl-doc_0.10.2-6_all.deb libppl-swi_0.10.2-6_amd64.deb to main/p/ppl/libppl-swi_0.10.2-6_amd64.deb libppl0.10-dev_0.10.2-6_amd64.deb to main/p/ppl/libppl0.10-dev_0.10.2-6_amd64.deb libppl7_0.10.2-6_amd64.deb to main/p/ppl/libppl7_0.10.2-6_amd64.deb libpwl-dev_0.10.2-6_amd64.deb to main/p/ppl/libpwl-dev_0.10.2-6_amd64.deb libpwl4_0.10.2-6_amd64.deb to main/p/ppl/libpwl4_0.10.2-6_amd64.deb ppl_0.10.2-6.debian.tar.gz to main/p/ppl/ppl_0.10.2-6.debian.tar.gz ppl_0.10.2-6.dsc to main/p/ppl/ppl_0.10.2-6.dsc
