-----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-----
