ppl_1.2-6_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 18 Jan 2019 20:42:29 +0000
Source: ppl
Binary: libppl14 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source
Version: 1:1.2-6
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: James Clarke <jrtc27 at 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)
 libppl14   - Parma Polyhedra Library (runtime library)
 ppl-dev    - Parma Polyhedra Library (development binaries)
Changes:
 ppl (1:1.2-6) unstable; urgency=medium
 .
   * Team upload.
   * Disable swi-prolog bindings on architectures without swi-prolog
Checksums-Sha1:
 1c0a3e672b625c69102372e2213a8445d88ec58e 2581 ppl_1.2-6.dsc
 020dd7fec8b6097ef88c66d55c0a8464da6f4858 11976 ppl_1.2-6.debian.tar.xz
 5e7a44a17e8fcde9bc3c99e007c25f433eb66604 10063 ppl_1.2-6_all.buildinfo
Checksums-Sha256:
 b7c6990e15e1492c8f761961fc0ff78922efd63c1c484e3af421dcb2ce5f0bd3 2581 ppl_1.2-6.dsc
 96392b9551074e57e6dd0a1fe0694646ddb7fd9f8641eb986a9db03aa784a46b 11976 ppl_1.2-6.debian.tar.xz
 c7200b81640edaf1b420818b9a8202ffb3f382e18e60e7544606167ad505de9f 10063 ppl_1.2-6_all.buildinfo
Files:
 9dd70c6a5bbd19d9c659e850613e4e2a 2581 libs optional ppl_1.2-6.dsc
 c212e4d93307708f85483840b344186c 11976 libs optional ppl_1.2-6.debian.tar.xz
 1304191371bcd54f2230ee715d30a1cb 10063 libs optional ppl_1.2-6_all.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAlxCQT4ACgkQsZN3DBhq
HH3doA/8DF1ttIWIR7hhh0g3V52008HRReVNBMjFCHsLNqdlQKVx3OPHSzS3SUtZ
eurhC24ypPb2tudAJlQ/Kyd2f/OXXPCppdARs3wL3qhGugrMRxDBorHGz/P1E/cp
V2hbMUFVFHERhq068x95FOg74Bp2VZ5Pix/2/5An9x8pkBI+qhKaRZbEBAfgskB0
vEGcEu6YO7LEMUDkiSuf7FOQ7RBLMJLTG2AwDi+bgcHqZN+m5ivxu+V+VSn6Wh/C
F95TIc7/R4+fgfFOFI6l8FDo2vu9vqNPWAV4HtEyWgceHImZdqH5yNZv+H+PIp5F
8kvAqOeAd8ZY77ZqZtA0BDzvrLeFFzY15MUz0OvkDyUyqRjl6J2X0TSuC0E341RG
1s1xJymK4xKQNyipD1UlZkH3SB/9wJ8cOhxNSSK2tsFMeypsWjjv+aMT0oMZ0/sR
7UXsGRgbLvyJWtltI4F9URM60IBIUFWRL26HDkxbfxucUbmipqk5c79I2Kv1QBwI
QOChfgMYSDMIVErt5DHg2SiBwOd76s01gf07PCSSfaGUB+ZRmzVwkiVlDz71DCVr
4bHzDVKzTgEhlUrCUFUM+Wj+wjRWxrn3iHKauYQz5P7v49mhNG0yHqY/+41Qoy19
P3f6/+Hm+MsmFMyeA10eSWVIzggxqeeNYWQdYMEjZAmAQK+Fxlg=
=kDNv
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.