-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 28 Feb 2010 10:35:31 +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-5 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) Closes: 570387 Changes: ppl (0.10.2-5) unstable; urgency=low . * Dropped versioned build dep on libgmp3-dev as even etch has a sufficiently new version. * Dropped build dep on quilt. * Added upstream patches to work around incomplete signal handling on hurd. * Disable 2 Prolog tests as there is some failure on PowerPC only that I'm unable to debug. Closes: #570387. Checksums-Sha1: 63b52318aeb99c308f538937cae7aa122fc5a9f2 1479 ppl_0.10.2-5.dsc 4d3859ad8f61b4d7f23dee4ccd681eef69d3f5f6 21762 ppl_0.10.2-5.debian.tar.gz dc5bdd0528056b93d948bdf9a7a1daaedb8745b9 373838 libppl7_0.10.2-5_amd64.deb 9c716adafe6a6cdf81b3f62d4401e5010ab4bf4e 2850906 libppl0.10-dev_0.10.2-5_amd64.deb c4d40c73acc54789e687f71375a23b4ceb127843 1288198 libppl-c2_0.10.2-5_amd64.deb 6502554f81c4944863850a821845b5676eeb8b2f 19278 libpwl4_0.10.2-5_amd64.deb 6ea0b405eea9e4258d60be750d6f76f018e78c2d 26138 libpwl-dev_0.10.2-5_amd64.deb 9079b76fc5ee5a76956df81148390f2bc036bac9 6050916 libppl-swi_0.10.2-5_amd64.deb ebcfb2b30a7695dc4156ce5ea7c6063d6bf76ecc 3621646 libppl-doc_0.10.2-5_all.deb Checksums-Sha256: 8a23b102993702ecf859052fb64552d49be7a509fbd741dd500403f5e63f1bbe 1479 ppl_0.10.2-5.dsc aeddfad246f94503b7ee2c4bdae0abb37968c456dba3f0fe248a1c96ca187c3b 21762 ppl_0.10.2-5.debian.tar.gz 5b327f3bfb0380efd3afc9e4d47ce341e61b7a1c9e42aa94fc216b55d31b1099 373838 libppl7_0.10.2-5_amd64.deb de6eba594955ac73842893fc26844fbe292ebb3d0f8b3f2df83f5d50600aa59c 2850906 libppl0.10-dev_0.10.2-5_amd64.deb d9f9068b7b88202d3eb20d1742196ab69f0b2ee485f461eea75cf8a5da190314 1288198 libppl-c2_0.10.2-5_amd64.deb 4656812bc0a3054bbe38c5b9413b84f9b20fcd962fc3218aa27c600ae1c92828 19278 libpwl4_0.10.2-5_amd64.deb 95519b32160cf9013f936baad206519c5367d4cf2fc43e5e4bc8407aad71d05a 26138 libpwl-dev_0.10.2-5_amd64.deb 6156d65d5389d06982eea612632229433fccc8c5814a42878c26f395606e844a 6050916 libppl-swi_0.10.2-5_amd64.deb def3f5d6c0a8ed333f030e8144b319e1ce801a59b3a59ebcc64a9882ab6b0d66 3621646 libppl-doc_0.10.2-5_all.deb Files: ca4f6e39c8a22d40d46c2ba3dffd1847 1479 libs optional ppl_0.10.2-5.dsc 622934a9faf60c4c84e381f8a55d11b1 21762 libs optional ppl_0.10.2-5.debian.tar.gz a8a9743ade805401251614a0d6d499a6 373838 libs optional libppl7_0.10.2-5_amd64.deb ffa33b125a52a0fabc4ade6c4edd7b67 2850906 libdevel optional libppl0.10-dev_0.10.2-5_amd64.deb e2c1cb04fcb55a590533d002cfc0ece4 1288198 libs optional libppl-c2_0.10.2-5_amd64.deb f8761e2ef27db90d67a892a95fc58f6a 19278 libs optional libpwl4_0.10.2-5_amd64.deb f8b7d1a883deff5be8e6a99bb2e5cc2d 26138 libdevel optional libpwl-dev_0.10.2-5_amd64.deb 8e96dd4cd4a10aea17fca5b51aa03223 6050916 libs optional libppl-swi_0.10.2-5_amd64.deb a10d2e4726e3a024998125762b5cc307 3621646 doc optional libppl-doc_0.10.2-5_all.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkuKhf4ACgkQvx6dH3bVKsTrtACggfxcBb+daIc4hq7JChzDNcJd 27kAn0m2hSflaNcthgV0iZY/s4aebWG/ =fF6n -----END PGP SIGNATURE----- Accepted: libppl-c2_0.10.2-5_amd64.deb to main/p/ppl/libppl-c2_0.10.2-5_amd64.deb libppl-doc_0.10.2-5_all.deb to main/p/ppl/libppl-doc_0.10.2-5_all.deb libppl-swi_0.10.2-5_amd64.deb to main/p/ppl/libppl-swi_0.10.2-5_amd64.deb libppl0.10-dev_0.10.2-5_amd64.deb to main/p/ppl/libppl0.10-dev_0.10.2-5_amd64.deb libppl7_0.10.2-5_amd64.deb to main/p/ppl/libppl7_0.10.2-5_amd64.deb libpwl-dev_0.10.2-5_amd64.deb to main/p/ppl/libpwl-dev_0.10.2-5_amd64.deb libpwl4_0.10.2-5_amd64.deb to main/p/ppl/libpwl4_0.10.2-5_amd64.deb ppl_0.10.2-5.debian.tar.gz to main/p/ppl/ppl_0.10.2-5.debian.tar.gz ppl_0.10.2-5.dsc to main/p/ppl/ppl_0.10.2-5.dsc -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1nmeak-0006op...@ries.debian.org