-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 21 Sep 2015 12:27:25 +0100 Source: ppl Binary: libppl13v5 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi Architecture: source i386 all Version: 1:1.1-7 Distribution: unstable Urgency: medium Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@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) libppl13v5 - Parma Polyhedra Library (runtime library) ppl-dev - Parma Polyhedra Library (development binaries) Closes: 799641 Changes: ppl (1:1.1-7) unstable; urgency=medium . * Rename C++ library package for the libstdc++ v5 transition. Thanks Simon McVittie for providing the necessary patch and chasing all this up. Closes: #799641. * Run gzip with -n to enable reproducible builds Checksums-Sha1: bac90fb334367248f8488c039f3687298651fada 2141 ppl_1.1-7.dsc d898f2520fd517e1f10ec9ee5479d3ef016eb68a 11800 ppl_1.1-7.debian.tar.xz 341e2476281fd1287c6be8f5fcb5037c3346c617 954922 libppl-c4_1.1-7_i386.deb 55d4ae12c45aac36e7f1ce8f7d282433122c4f42 2033914 libppl-dev_1.1-7_i386.deb df3c747af5e4bfad361cebc4267c919617eb5ccb 6647774 libppl-doc_1.1-7_all.deb b481ce7a040ef28d85ed2dc9d36605d3d61be714 2539674 libppl-swi_1.1-7_i386.deb 7ac3a0515ba7c2ac841327a9bb2fd1a0ab3851be 626608 libppl13v5_1.1-7_i386.deb 33091f7a518d125d3da9a50e6b6a6708c341e7c8 202476 ppl-dev_1.1-7_i386.deb Checksums-Sha256: f5395263c528430da2a8240ab4e93164321232a009673bb4bf71c219bf2c1ef9 2141 ppl_1.1-7.dsc 62aaa3fb14f673e711b7360d675e83837a9b923d89d621f5df19162ffe920a5c 11800 ppl_1.1-7.debian.tar.xz 6ebdba166acaf7661df53240f49578d77c052d2bb9bc833b586b53ab7fedc82b 954922 libppl-c4_1.1-7_i386.deb 16e9f310b6ca92b53eb03b0038c8fbf170d7ef80d3c1823f712158ef2753d0a3 2033914 libppl-dev_1.1-7_i386.deb 6aec35ae2dcfecd9a335ea1fb2a127505177b969bf1985ee836d0c014b2ee7ad 6647774 libppl-doc_1.1-7_all.deb fb029dd0e599b56c3d52fd3c8c5637a2b292a75c9ee8b020103beceff7ccd73d 2539674 libppl-swi_1.1-7_i386.deb f988d5cb95a4a97da77418c4289124e9d161a41391977e7c778da6028cac8a06 626608 libppl13v5_1.1-7_i386.deb d810afbedec42c3b3e5cc4551c3a85b8e267cfeabe5f0adde9481f63720f9cd9 202476 ppl-dev_1.1-7_i386.deb Files: c5b7e6432a6af2ecd79e1303d67e290b 2141 libs optional ppl_1.1-7.dsc 914a9b570c4c5648416c74026e600a45 11800 libs optional ppl_1.1-7.debian.tar.xz 260b72625a26608cf61581a01b39de18 954922 libs optional libppl-c4_1.1-7_i386.deb fe26ca580adb84be07d0d88435af29a8 2033914 libdevel optional libppl-dev_1.1-7_i386.deb 0088f4b398b973d2c9b887f01bed94b1 6647774 doc optional libppl-doc_1.1-7_all.deb c631b4dda8b5d0f9f738eafada90874c 2539674 libs optional libppl-swi_1.1-7_i386.deb f49eb35cf962582f5d1439847ddc75a2 626608 libs optional libppl13v5_1.1-7_i386.deb c37cb8df4d1fe071fbd27a7d0c9f816c 202476 devel optional ppl-dev_1.1-7_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJWBN0UAAoJEDu/g5M27Kkx4XMQAIKm3CMYHMCFP7WWpmHFeQRG MOwOHTjS662NgqQH/7jFPlFM3wYIlkzszsEZGzA0l2X/UgRfI/TXtYDjLliBxAyk PabCl+oIrdM95Td4sSMmifv+p9eddkvU2g1l9k/legcEgP+tyEP8lXsDzVmFhU8p KDEtZDPJx0J8McPYsTGJMnE0Bu9NxEEib+yUur0tqh60Cc3D8UIRQQN3ag875qPB G4VSlG3Ueee/6FsnnSgH6jCsx4CSI76Act8M/G/1seX5EL8wcnx2Iz0ldjj9l6fZ 0VEyGEFBUch9YaMl0obl9rpCeBhdDkx48v7Pz9glfUwZdcVJFYsimtGhiGpSUPma 2/VAZdDrX+ms/3W2vBcZ44vUCHSB0QCfuBS9qUXai7a4REgEeE7OeaN9wcu9c9JL 0dlM7m61dwXBRFqxdqTJmAGBvqI/6CoennIlMzp7ProF8x+wud5kITYxRxQ2OlKY B5rJKA4pBtS3uD1dYt+y5DbQKXLErxiLyQ+hdgotgmUue9i3NBVNvoFDssJUc9Jf YsvHD94WySBjUX03gmjykSpb2CBTP1esApm7QTx9F57rSAbWUwUAXy+q0FdkJihQ 4QuafFrpFhRogm70s0u2I9stBFZw8SaD5w1WYFBsUDimCk3T0D0yTR/nyaw5avR9 86uW04KUM/6zgB4TrosF =v2L8 -----END PGP SIGNATURE-----
