-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 07 Dec 2015 22:04:41 +0100 Source: ppl Binary: libppl13v5 libppl-dev ppl-dev libppl-c4 Architecture: source amd64 Version: 1:1.1-7.1 Distribution: unstable Urgency: medium Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Matthias Klose <doko@debian.org> Description: libppl-c4 - Parma Polyhedra Library (C interface) libppl-dev - Parma Polyhedra Library (development) libppl13v5 - Parma Polyhedra Library (runtime library) ppl-dev - Parma Polyhedra Library (development binaries) Closes: 787486 Changes: ppl (1:1.1-7.1) unstable; urgency=medium . * Non-maintainer upload. * Fix build failure with with swi-prolog 7.x (Roberto Bagnara). Closes: #787486. Checksums-Sha1: c8eab79be3126db3d49c30d22b54f1888ac23f47 2004 ppl_1.1-7.1.dsc a63a4ab4b90b45081dc687518e574c0d3e39064b 12376 ppl_1.1-7.1.debian.tar.xz 1f77712c16227ba390d58806711fa0828ddd5265 941574 libppl-c4_1.1-7.1_amd64.deb bfd327271c56b6256f8718b527ec21aa564ddfeb 2051962 libppl-dev_1.1-7.1_amd64.deb 44f481b6ac8b2e9c97850459751dec46eb2a8022 600368 libppl13v5_1.1-7.1_amd64.deb 91345f34daa897943af28b2ed8b56ac81bdaa6f4 201762 ppl-dev_1.1-7.1_amd64.deb Checksums-Sha256: 31707b8ce36ede9dba6e9bb9d492786a28cafc8bb664c3eb26cdaa006a51eb57 2004 ppl_1.1-7.1.dsc d2b5f6cd376f96ad8d0fb305caf894dccc426dfd35b5e9eeba755a78a7bf5d6c 12376 ppl_1.1-7.1.debian.tar.xz 1166f4101986a7af169f8fd358c6f2b2acc9d4ed0fb6c68ed02f49e4aa38d4fe 941574 libppl-c4_1.1-7.1_amd64.deb b3ae1a87a7c37f173a0c892a05375eac718d34017e961fef328f2df4d401cf37 2051962 libppl-dev_1.1-7.1_amd64.deb 4a7cdb8bd54bce09f7ab2f564cd8a739fb277b039749fc03fb05cc750a678687 600368 libppl13v5_1.1-7.1_amd64.deb 683599b13a8a5c74675e3ee13c2ed04175c353ffa272a29c010675a7698b9064 201762 ppl-dev_1.1-7.1_amd64.deb Files: f870b8e848821a603c708825ab378db0 2004 libs optional ppl_1.1-7.1.dsc 0266a1c3d565f96699bc4d34b77f72d5 12376 libs optional ppl_1.1-7.1.debian.tar.xz 339a23463c050339ce8984aeaf892c54 941574 libs optional libppl-c4_1.1-7.1_amd64.deb 9d73713a5fea3e827f015a809687cb42 2051962 libdevel optional libppl-dev_1.1-7.1_amd64.deb d46be3d881dac2cb42231b65fce1badb 600368 libs optional libppl13v5_1.1-7.1_amd64.deb 365e4c59d5ab2c34a7c6c18a59e67599 201762 devel optional ppl-dev_1.1-7.1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWZf9PAAoJEL1+qmB3j6b1nUcQANtY7zZnRNrH+wS32JNqrLHa YynKxtWSPZWppnoINj2k6rdlln0wSckrvZ5t2+QbEwXzMvjRxY+ct0f9Id0bsyXb loZtgtFEUfu6DJ1NB7JUgpYOeRexxjAcUfE5l+KbgkB4jkEoioqNxShjj+U7TGF1 BB/Sskp64ljXK9FO3x8tBuDymh2u2pkSxh1U8vB38DAIxx9MGRqxU0YqgBGHCj6o KvFjWps4IuIV6nocewXwWtaxR48bKwaOEK2loRWBC6S3PG3ehrYbyyanHZajbHf8 ljCZWrwZuqf3ATm+C1tZALMjzCuVd90HmUDfdjS0S40XL/nQhVXjhV9CMjbmwmes YjFptqy4mzNG/15t6XW3+2yNIffYv3kExnP/jELnYA5Fg9Y9WQFBP/bKJD9q6LA7 k3vni933MMviNy0O7z0js+P2c8+uOmTHnea3b3j0GUjdtWrZwpoAI7dpy7YXBdHt iaXbpRWoh+jkVaOf+oaOjZmUinN+6e8cvuawdJLyijJ9NzH4am8O+UBHDVu3TQ2a gjUBLHljquH1E8dQNzfuPy1npvlG/Gu2w22w7z44UDNYgEBZqd8gS9DitmVIzjcY d6Q5+IifyXOWIuBphYXi7WaKE1QEopzNKSOFmX4VpGoafedUA0TrWnUt7VAZ4ONO 0fpG296XhHKcZOUweaHs =d43h -----END PGP SIGNATURE-----
