Accepted ppl 1:1.1-2 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 21 Mar 2014 16:37:04 +0100
Source: ppl
Binary: libppl13 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source amd64 all
Version: 1:1.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Matthias Klose <doko@debian.org>
Description:
libppl-c4 - Parma Polyhedra Library (C interface)
libppl-dev - Parma Polyhedra Library (development)
libppl-doc - Parma Polyhedra Library: Documentation
libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
libppl13 - Parma Polyhedra Library (runtime library)
ppl-dev - Parma Polyhedra Library (development binaries)
Changes:
ppl (1:1.1-2) unstable; urgency=medium
.
* Work around GCC PR target/60609 to avoid the build failure
of the SWI Prolog bindings on armhf.
Checksums-Sha1:
4d327606fc29f9f2332d99f46c2a1281be8b2f3a 1560 ppl_1.1-2.dsc
d3a3683bb7d328e5d06aefe642b3788a7fc0ebcb 10052 ppl_1.1-2.debian.tar.xz
a4e1f6714d905e598808e4021b70d5fb51ed8f97 606576 libppl13_1.1-2_amd64.deb
189e194cf373a0ad9f4f143409f9f0b99aef63e4 2067286 libppl-dev_1.1-2_amd64.deb
6dbe5aae80e7225fc4391d6bf8841bd1935c1900 200994 ppl-dev_1.1-2_amd64.deb
bc586c9c6ae127f8e28ac580c6cdfe3e23663ad5 988274 libppl-c4_1.1-2_amd64.deb
b3f19a5ab04b76eaa5d2129e5db3c00d73ca97f2 2588532 libppl-swi_1.1-2_amd64.deb
762fdbe06f37c1516b7aa765a851d6b47a3de029 6647472 libppl-doc_1.1-2_all.deb
Checksums-Sha256:
2b05b43100d5aea2ddc4927400ca6218eadfd7c1e841104de07f7fbdc873ea4c 1560 ppl_1.1-2.dsc
c5d66ac1365479ed1adcfad9c2e51a241e605c53987d82beec8827ee25f4ae37 10052 ppl_1.1-2.debian.tar.xz
203aea2016f9c1f933228b38e0d00713927f211e96da84d3e1c543643805cd44 606576 libppl13_1.1-2_amd64.deb
e754acdb79b527165618b0cfcfab38689301272fb4d328dd87188b25644bf72e 2067286 libppl-dev_1.1-2_amd64.deb
78c900043be2528970eb93cae7d6375e68019a75889ad14ef93eeaf61882637d 200994 ppl-dev_1.1-2_amd64.deb
f9b28b20541c2f3e8f769ab0e740096fa135f3c84a0b6a017aafff2770aa2a35 988274 libppl-c4_1.1-2_amd64.deb
8a425ba5ec2f52c5c3fface59f1e847b8f9b370e8d2a077a2f47830eda9edb59 2588532 libppl-swi_1.1-2_amd64.deb
4bb272da5ea1789916490fe0534dd1d1666f9b137f96daf1af869d722792f627 6647472 libppl-doc_1.1-2_all.deb
Files:
a26879cf9aa9e5425479f3f441cadbdf 1560 libs optional ppl_1.1-2.dsc
00076d0ceab1b7d8ea42e8035c08d628 10052 libs optional ppl_1.1-2.debian.tar.xz
41608e193e65c19b3b92ccdfc6fb2bdd 606576 libs optional libppl13_1.1-2_amd64.deb
871e422f92ff9bd576b41ad8010d739c 2067286 libdevel optional libppl-dev_1.1-2_amd64.deb
08e0146eba4dd66f7a447ad8fcdccf16 200994 devel optional ppl-dev_1.1-2_amd64.deb
52b083f38c1bbd9906f7b7e7bcbfe962 988274 libs optional libppl-c4_1.1-2_amd64.deb
4e63d2d2edd3051f8ea30c06a92faa47 2588532 libs optional libppl-swi_1.1-2_amd64.deb
756d68de6b1ad6a3c900af7a8ce75ac0 6647472 doc optional libppl-doc_1.1-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iEYEARECAAYFAlMsawEACgkQStlRaw+TLJxLnACfbD1PAfj+ghDrD+2aKWtF3TDm
/QIAnA4OGzPYWSs0O03d3mW4qvGfHx9D
=85Ep
-----END PGP SIGNATURE-----