-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 06 Sep 2010 12:31:59 +0200 Source: ppl Binary: libppl7 libppl0.10-dev libppl-c2 libpwl4 libpwl-dev libppl-doc libppl-swi Architecture: source amd64 all Version: 0.10.2-8 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) Closes: 593393 Changes: ppl (0.10.2-8) unstable; urgency=low . * Ignore testsuite failures on armel as these seem to be caused by miscompilation, see #593324. * No more swi-prolog on mips, don't build PPL Prolog interface on mips. Closes: #593393. Checksums-Sha1: 06c9f9ec15139f72eaadb4e887dd318e2f442d04 1479 ppl_0.10.2-8.dsc 790f7994aa0416f4d8f9053dc48bf3629a8ca4ef 318066 ppl_0.10.2-8.debian.tar.gz 4730fc03aaca4391238c3bd86cafca7eab82b485 373994 libppl7_0.10.2-8_amd64.deb b951e673af9fbdad310ce12775be8f0e42b6264b 2851814 libppl0.10-dev_0.10.2-8_amd64.deb 22150b9b8da8b0f3232fbb98f9cbb0ff6d7af0cd 1288030 libppl-c2_0.10.2-8_amd64.deb c578c9334ec111396d75efb1c703f4c3edebef87 19518 libpwl4_0.10.2-8_amd64.deb 85868fd6558cb7a1d69ee4be525c0939f0077e30 26368 libpwl-dev_0.10.2-8_amd64.deb b226670a34191781f068f622f6780623e28e5d72 6099212 libppl-swi_0.10.2-8_amd64.deb 5b0a68251a1763bba687919fa6041afe4efbd5f2 3621594 libppl-doc_0.10.2-8_all.deb Checksums-Sha256: 1a4ef4fb605463adf366df751a955c69993d444729a1f260f2b7c520ae3dbb34 1479 ppl_0.10.2-8.dsc cf8297e749806d123e24f058e6a87c57c3c39c1d21200b30891baac808ecab5d 318066 ppl_0.10.2-8.debian.tar.gz 7a15aedfa77009c183ee5d58365132bd6713c8cdcc2a2ad84efb4de4afdf6abc 373994 libppl7_0.10.2-8_amd64.deb dd64dd7159d13b078f5d954f3e4187d5abba7252aea19f9fb14c01d2f5975cc7 2851814 libppl0.10-dev_0.10.2-8_amd64.deb 4f18f49ece46aafa26fc83e962566b80650c88a7b9477ad2b17df9c8684626ce 1288030 libppl-c2_0.10.2-8_amd64.deb 24ef172d7f289b83ea654ddc163787de6ed2821834fda24e6df98e648dd238b2 19518 libpwl4_0.10.2-8_amd64.deb e0fb6f2b7698e4d583193c9017421a26af35001b679d553ec9311a7c2c322d30 26368 libpwl-dev_0.10.2-8_amd64.deb 2cfc83aeae7c1d96d9e627be861bd41f2b9b70b639edcdbb801e0fe38b32b160 6099212 libppl-swi_0.10.2-8_amd64.deb 0ed4f77d46e7cc69c7bfa4cb3f5bf65c646ac7d0e096dba1655e4bc33eefa740 3621594 libppl-doc_0.10.2-8_all.deb Files: 955216d60b619389d4f981c79e81c23a 1479 libs optional ppl_0.10.2-8.dsc 73f647e5077e3feae7f660af1f760d99 318066 libs optional ppl_0.10.2-8.debian.tar.gz 20d0cf45f06d810696e57ef72b1f9401 373994 libs optional libppl7_0.10.2-8_amd64.deb 50aac3cd878887b4ca812eb6b6b24c80 2851814 libdevel optional libppl0.10-dev_0.10.2-8_amd64.deb 6e113aa587c596a244a895aa8827d38d 1288030 libs optional libppl-c2_0.10.2-8_amd64.deb 17dcdfeaed8a67e64ebf2d5f7c9bdda8 19518 libs optional libpwl4_0.10.2-8_amd64.deb 79727d0ecc37aa5e34099246eab82a69 26368 libdevel optional libpwl-dev_0.10.2-8_amd64.deb 1d472be8a641694871073b629837715f 6099212 libs optional libppl-swi_0.10.2-8_amd64.deb 8a130cb0eb6c94516780c7ff298c2068 3621594 doc optional libppl-doc_0.10.2-8_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkyFKZgACgkQvx6dH3bVKsQ8cgCgsLrAF1UaC+w6dwED4EnuGXIR a2sAmgMu1VVm249RN1d3rmbtex0Tvr1C =uehp -----END PGP SIGNATURE----- Accepted: libppl-c2_0.10.2-8_amd64.deb to main/p/ppl/libppl-c2_0.10.2-8_amd64.deb libppl-doc_0.10.2-8_all.deb to main/p/ppl/libppl-doc_0.10.2-8_all.deb libppl-swi_0.10.2-8_amd64.deb to main/p/ppl/libppl-swi_0.10.2-8_amd64.deb libppl0.10-dev_0.10.2-8_amd64.deb to main/p/ppl/libppl0.10-dev_0.10.2-8_amd64.deb libppl7_0.10.2-8_amd64.deb to main/p/ppl/libppl7_0.10.2-8_amd64.deb libpwl-dev_0.10.2-8_amd64.deb to main/p/ppl/libpwl-dev_0.10.2-8_amd64.deb libpwl4_0.10.2-8_amd64.deb to main/p/ppl/libpwl4_0.10.2-8_amd64.deb ppl_0.10.2-8.debian.tar.gz to main/p/ppl/ppl_0.10.2-8.debian.tar.gz ppl_0.10.2-8.dsc to main/p/ppl/ppl_0.10.2-8.dsc