-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 31 Jan 2013 13:45:12 +0100 Source: ppl Binary: libppl12 libppl0.12-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: source amd64 all Version: 1.0-2 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.0-2) unstable; urgency=low . * Fix build failure in testsuite on sparc, s390, s390x. * Don't try to build the prolog bindings on arm64 and hurd-i386. Checksums-Sha1: 6405eeced8a3035873a69103db83558e8906ec63 1583 ppl_1.0-2.dsc ee1efee67e062dee30620233c4b749e81c194cf7 15793 ppl_1.0-2.debian.tar.gz a1c30069e58325408dea6e5a60a7524526f285a2 730886 libppl12_1.0-2_amd64.deb ea73d0166e3f86e177e81416eddb5820a190ec7b 3970978 libppl0.12-dev_1.0-2_amd64.deb 0543c100fb87774377253382de1b61b411ad9576 187758 ppl-dev_1.0-2_amd64.deb 504e6e2f8252257160bd784464b4bede9d34a722 1523472 libppl-c4_1.0-2_amd64.deb 56454aa24128dcb2fec2cf951df7f5f7f8d43dfd 5802522 libppl-swi_1.0-2_amd64.deb 8d83897c83638fd87f32b50fd5ba976a6d72dd47 7395450 libppl-doc_1.0-2_all.deb Checksums-Sha256: 37973bdfcb435f50199b17e011489eb7fd785c0146a08080d732813a8f8713fd 1583 ppl_1.0-2.dsc 76108a02a7c6ac5aa2b2dd1b655e1a6e6bfa3b5c8af35a903138987c6a7b2e2c 15793 ppl_1.0-2.debian.tar.gz f33435a8ad160324e962f9fce8e4387965d54056dac52d4c0d16349b88cf7e25 730886 libppl12_1.0-2_amd64.deb 1b8485a70d3c236313d7293b624af7806383b08ed68baf8aaa42e25bc11cbeb8 3970978 libppl0.12-dev_1.0-2_amd64.deb 2db5868bb544783f808756670c6eb2a45f7a1aade13e9cedb77f9c563cbf8b19 187758 ppl-dev_1.0-2_amd64.deb c4f6ba49182462a27fd07ac6a50a0ec4071b9e3116a397d79f96c2c6abeaed9e 1523472 libppl-c4_1.0-2_amd64.deb 37e0c9d031a7bafbcd6594e8990718b5eda8e64384190c05dedd1e976de5afe0 5802522 libppl-swi_1.0-2_amd64.deb 7fa9c74f5a30b6dbfa316050527c3c910b9932a9befd55a663054192eba28e45 7395450 libppl-doc_1.0-2_all.deb Files: 23f5b956a3dc27d97719fc5dd157d822 1583 libs optional ppl_1.0-2.dsc 5032a5ecdbc0d8c982089e9b7c8c829e 15793 libs optional ppl_1.0-2.debian.tar.gz 962977f985a6bc80763f6d2cd00b5dfa 730886 libs optional libppl12_1.0-2_amd64.deb 74c8958d2edda24106c01489449c1bad 3970978 libdevel optional libppl0.12-dev_1.0-2_amd64.deb c96f28eb88e428eef3741412b3781910 187758 devel optional ppl-dev_1.0-2_amd64.deb 2be2c274a7d954858856f72fb4dcf0d6 1523472 libs optional libppl-c4_1.0-2_amd64.deb 0a54ad898652d80fbec30aee77f67a3d 5802522 libs optional libppl-swi_1.0-2_amd64.deb a66dea9f7606ee722e1041f255465fbf 7395450 doc optional libppl-doc_1.0-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlEKdKYACgkQStlRaw+TLJwxFACgn97EG67Z9tHTcdcIWlm+zzQ0 iswAnRM692DLxs5aYBnrvBbKzOqVn0WC =49p8 -----END PGP SIGNATURE-----
