ppl_1.2-5_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Fri, 18 Jan 2019 01:33:13 +0000
Source: ppl
Binary: libppl14 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source
Version: 1:1.2-5
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-5) unstable; urgency=medium
 .
   * Team upload.
   * fix_latex_build.patch: Add missing final line to appease tools
   * Fix build on hurd-i386
Checksums-Sha1:
 2c80a83424be5603bdea7db766f1ad8d05c63509 2388 ppl_1.2-5.dsc
 199ab3f8f91825699e6ffd5b081ef9de5c598827 11908 ppl_1.2-5.debian.tar.xz
 d6a41bdfd4a3bc3da8f74839d5bff7de6a25cba6 12564 ppl_1.2-5_amd64.buildinfo
Checksums-Sha256:
 65875a565af85b15670593cabc6e0bf0bd902294f71290d9f5ba63bc05cd11bc 2388 ppl_1.2-5.dsc
 759bb3a234af166201a4abf6a1d8949a2f5aed95e974d082f8b2fdb8365d36dc 11908 ppl_1.2-5.debian.tar.xz
 ee10a41c780d16d03ef28847e31b5c278ef91230c13d5417adc91e65600c657f 12564 ppl_1.2-5_amd64.buildinfo
Files:
 5682633e25fc6be7685349a241e440d5 2388 libs optional ppl_1.2-5.dsc
 7a79ef0c01717f36b6a70893a9473567 11908 libs optional ppl_1.2-5.debian.tar.xz
 7de7d6b2e610128a3beda49caf858892 12564 libs optional ppl_1.2-5_amd64.buildinfo

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

iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAlxBQCYACgkQsZN3DBhq
HH1FYA//WRWjLzY1sc3Ba6F6KUV1bf/cnqceRDlLtgnRfsHELqibI1emRVZqWq8m
Yl2Rge2OmFFMQJLno/uTIO7sMl4yf6ZNgNhlRH2sks5oeg91FHc1YcZgksQyB87U
CIbiU+9cA+DUVRKVQulO8u7mRy5NvC8Ruxv5ijByp9tGvbORzzqgewWMRpx55Pbj
DBdpZxC56aOb7i8CPJmiY39Lq1hVX8q6A7zKjKATgqc9X9Q0hsKq0v/4vchZk2Pt
a7Syb5BCS84I7m4b7eVA6hUNJ0kSo0+oohzWkTyWWTPExO4TI2nP2aG+iHKOevcx
gqFoa5cG8vE0xn2S4CFbtA/MTNjZgyE938GM21BuFRTZ1zMUHaIPBjb+zUPC1t8Q
qDv3MuUvyp39waKuooj2U4luIpQv5V0bfZTachD7e28JULAo/DASmerqd/Q21S6H
nZw8bVrd1eCJCEgqOppNIn+JSg4pgD13fnsSS3/7cE9z421rNXuZkfdSs9uDC+/p
CbHI8i0V7egwmuFYms5aJM55sBRrmFzyPbRL5a0PvSO/89SkVl6zCOR6CqSE6aUY
ZDDzWuK9BewE/dwODnq2GaO6o3wg2coqyBplUvbm5j+6q2EyTJjtgYTU31uX3BXb
1X2Ktl7PQue/1YHqBGwlO2vvLpFQTRnvO1QURPl5yYMSnYC/KcQ=
=0ztL
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.