Accepted ppl 1:1.1-7.1 (source amd64) into unstable
-----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-----