Accepted ppl 0.10.2-8 (source all amd64)
-----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
Reply to: