-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 09 Feb 2013 17:21:45 +0100 Source: ppl Binary: libppl12 libppl0.12-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: source amd64 all Version: 1:1.0-4 Distribution: experimental 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-4) experimental; urgency=low . * Ignore test failures on s390x. No feedback from the Debian porters. Checksums-Sha1: d49072230eba429425d3991e8937529470d3c0b3 1585 ppl_1.0-4.dsc 210dae160cb8009c9d79b33ad911dc05f745eb40 15877 ppl_1.0-4.debian.tar.gz 9f784dd9e379eef0890deb7d38f6dadf5a5ec990 730802 libppl12_1.0-4_amd64.deb 6cf3d0d1623276ffa3f1ecd1ffbd6f15931e159a 3969164 libppl0.12-dev_1.0-4_amd64.deb 60ac6cd148eb836e3a2a4bd0e4e682590f68b21b 187888 ppl-dev_1.0-4_amd64.deb 4d7ecabc73e2064b34d929b7775d51ef119d735b 1523218 libppl-c4_1.0-4_amd64.deb 94f2dd9b39745dd3f524142a3e78d1c6a4b08e96 5802304 libppl-swi_1.0-4_amd64.deb 6278880595bc0137a10c156e0781a2cc8b8e06fb 7395246 libppl-doc_1.0-4_all.deb Checksums-Sha256: e7f53721b6b17197a6bf0ebdf16ef9e5785b84c1d4cc2b7e496fb40ab9026bdf 1585 ppl_1.0-4.dsc 4e491f5cfc7e3621d94e3acd648f803e59bff182254d300d113846f622433b9f 15877 ppl_1.0-4.debian.tar.gz 9685f17440b31d3999eb21c8b7e964ea0df3fcf5a0d07e8c4886dbaffc925381 730802 libppl12_1.0-4_amd64.deb 5d27909282c8de6a34e45c9cb6715ee39dce1d5d683de87c985f616ac3826251 3969164 libppl0.12-dev_1.0-4_amd64.deb f96c48c34a0ebee77a2b929ee35aa28ba49c81327f9fd2c8ba1227c4e65990a5 187888 ppl-dev_1.0-4_amd64.deb 773f5815b414da4be931089e8070cd17bf3d6d2d6ecf1075944f4939ac159191 1523218 libppl-c4_1.0-4_amd64.deb 1b8c60e6d2562c23bb1ecba0dafd4672272f3fded6ef843cb776395b8fbfc10d 5802304 libppl-swi_1.0-4_amd64.deb c0e7bc37a9bde1e125dddc3a6583aad25735894fb0a4616581ddd1a4898ab9d3 7395246 libppl-doc_1.0-4_all.deb Files: ebd84589811b59931f7883d0ba1ce02a 1585 libs optional ppl_1.0-4.dsc 9d78bfab445e52044efdd4295de50f1a 15877 libs optional ppl_1.0-4.debian.tar.gz 6556ac4f1e533fdfbae356b5970a36ea 730802 libs optional libppl12_1.0-4_amd64.deb a4156662e127e8d2e389b202cd00f5be 3969164 libdevel optional libppl0.12-dev_1.0-4_amd64.deb ab1c3c572bc8ace5f9d1d8de28d141de 187888 devel optional ppl-dev_1.0-4_amd64.deb 9627a8e47a2a6800d71a6a3f37c8523f 1523218 libs optional libppl-c4_1.0-4_amd64.deb 3bc6ac01d036a8a7e0f7a77390968dd1 5802304 libs optional libppl-swi_1.0-4_amd64.deb bd4e927eec7c62c1c6437f06b248f6c3 7395246 doc optional libppl-doc_1.0-4_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlEWgyQACgkQStlRaw+TLJzqwQCeKTD9XdP/PsjFCctllKp/3BW2 Cb4AoKmIcRu35BAUs5yt8JJK9O9pGcP4 =hJQ+ -----END PGP SIGNATURE-----
