Accepted ppl 1:1.0-6 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 06 May 2013 17:53:04 +0200
Source: ppl
Binary: libppl12 libppl0.12-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source amd64 all
Version: 1:1.0-6
Distribution: unstable
Urgency: low
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-doc - Parma Polyhedra Library: Documentation
libppl-swi - Parma Polyhedra Library (SWI Prolog interface)
libppl0.12-dev - Parma Polyhedra Library (development)
libppl12 - Parma Polyhedra Library (runtime library)
ppl-dev - Parma Polyhedra Library (development binaries)
Changes:
ppl (1:1.0-6) unstable; urgency=low
.
* Fix build failure with gmp-5.1.
Checksums-Sha1:
8886b36ba6bf82451f53b8fca5388a27cc232c00 1585 ppl_1.0-6.dsc
d1511887ab708b1db40d36ff0f90df93b29a21a3 12669 ppl_1.0-6.debian.tar.gz
97732beca4ace709a8a56c079dcf5b30d8b2fe4f 728132 libppl12_1.0-6_amd64.deb
13fab3a4cd59e73963862e0cf12eaff4cea8ccaa 3962548 libppl0.12-dev_1.0-6_amd64.deb
9a6258fbfccb992fbf040a661fc7dc166ece322a 187974 ppl-dev_1.0-6_amd64.deb
b10e1c67ec783a1b8f1e4da13c1ab746c6a3051a 1518212 libppl-c4_1.0-6_amd64.deb
acdb91f06deefb13789b90136fa4cd13f584dd56 5801264 libppl-swi_1.0-6_amd64.deb
86664aa2dc9d83e71a1c9800bc85e1d870ae496a 7397428 libppl-doc_1.0-6_all.deb
Checksums-Sha256:
07f96d57a0d7a0e12ceb6ce48fac52c155f01808408e2fbb5bfe30eda8b414b3 1585 ppl_1.0-6.dsc
b9925d7b74d010c13a68caa02c62d72148b10e054aac6355fcaccd7a7b7c5b98 12669 ppl_1.0-6.debian.tar.gz
b6d3cc336d670708edd4b379a2a7260f5978b84b605a85bd62642b9f05ab2a1a 728132 libppl12_1.0-6_amd64.deb
dca2985d889712de49febab25dde4cb76d66d42fbd5d19e41e28eaecfaf3a9fc 3962548 libppl0.12-dev_1.0-6_amd64.deb
acafac766445092ca1524225ae06dcb75bdd4ca34bbd7b18a7e1991c91b94e0f 187974 ppl-dev_1.0-6_amd64.deb
0bd6ddcc6effe7867d695f798b5a42eb6b9cfaea3097b9324f7c21820151526e 1518212 libppl-c4_1.0-6_amd64.deb
3c17d0712463c812737224e2af44bbc800db23925c75a892e12218f1deeb1934 5801264 libppl-swi_1.0-6_amd64.deb
c3e025b1bf9331be5998c607aa1745065a21905f41265f1f58c606489fba4815 7397428 libppl-doc_1.0-6_all.deb
Files:
1ebfd21fb281a839b8321aaed54f3d68 1585 libs optional ppl_1.0-6.dsc
929e5f822d0f079ad2b18966619a1f9d 12669 libs optional ppl_1.0-6.debian.tar.gz
f4d39edbbdf741174d5ec968d1805881 728132 libs optional libppl12_1.0-6_amd64.deb
7ea24f5edd489f3bdeae13bc3b3c998f 3962548 libdevel optional libppl0.12-dev_1.0-6_amd64.deb
e1e9179e0d5b0d066993a92f651b6c60 187974 devel optional ppl-dev_1.0-6_amd64.deb
09ce501732a9c6ddc77dfce3e7bc3856 1518212 libs optional libppl-c4_1.0-6_amd64.deb
7eefb81bbb81abc550e611059186d8d3 5801264 libs optional libppl-swi_1.0-6_amd64.deb
cef7f2eedfad6213b6a6bfb1258bf707 7397428 doc optional libppl-doc_1.0-6_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlGH7UAACgkQStlRaw+TLJwCRgCgve3mq4bPAIT0JDH5bWBeu0NX
t6wAn2nQKlPVlg6XPQ0LMs5ofBDCipz3
=FJ4B
-----END PGP SIGNATURE-----