ppl_1.2-3_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 26 May 2018 22:55:50 +0200
Source: ppl
Binary: libppl14 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source
Version: 1:1.2-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Andreas Tille <tille 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)
Closes: 897098
Changes:
 ppl (1:1.2-3) unstable; urgency=medium
 .
   * Team upload.
   * Fix LaTeX build
     Closes: #897098
   * debhelper 11
   * Point Vcs fields to salsa.debian.org
   * Standards-Version: 4.1.4
Checksums-Sha1:
 1b49f7d4d2c2df41e7fc107156cb8464600dbf28 2345 ppl_1.2-3.dsc
 829dc0d311351e9fb8c2778a3cca4c808ebf25c2 12176 ppl_1.2-3.debian.tar.xz
Checksums-Sha256:
 6696819bde3289773ce097b435604fe344ea3977d5174cef4efe41440e45b703 2345 ppl_1.2-3.dsc
 e262695455babc7526e18abc67632a9e7db57d47789a14324aebe7ce8c5b2a1a 12176 ppl_1.2-3.debian.tar.xz
Files:
 0d7308c1a1ef96d718263eb3d1bc633d 2345 libs optional ppl_1.2-3.dsc
 31ceddb71f7aa993fba9c73146f8dc58 12176 libs optional ppl_1.2-3.debian.tar.xz

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

iQJFBAEBCAAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAlsKNxoRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtFLsxAAm+HTPYXvcRhhBedPudzBLYorQBbIR//5
NG8blBlv4Sd8DHgXE7jAoB784H/ZbcooqafmcfNgF4yV35+DeLhSJSSY+GR9SHVW
2yEQvsC8zhDf+qzU4rBCp5l9ogz8B5CzQdPDFgymTNbVIyz8CiHMIeSIb3yrqBZP
KzQL6z0hz1i2zO8tfqpXeShkP6lAGb7qVviNlZvRQex4PqieTQspYJj3bXabSac1
mbDucTxE7RRhq+UH2x3y4siN2V319wTuLdIiSe+uhYesnQKhniME0qMVJoM830DT
pztOYWTtycmneHvL+NB4FwW2v4xxuytLZ9442cbDv/CRQDZY+3KCc3FgAz7HZpYm
jxT38VPWmPzezkR9vDCBJe23uGUMn1tjaDt33pRmAuYwtIGSwcVz7P1NS9Sh0oHw
RgKQcM9o3Sgo8ET00BBkTxLC6JAvzILg3nKovMoS+SZLSkZe717wpKLu33xxemIY
dqwk/V3ha9bLhRNbSxJp5WlProdd76Hw77sKEQt84/ybbseuI14hJWCG2Cn/OBwS
Rkr/g0rxnkf046FQ1afGiEuqEQRVohxbLqA7O3UWYloq9B8vCeZOKJD+qEqDH7d1
ssBlgPd7ipgywhz9I+r51Zf8IpURSwdVCKkBDi8b0CyQuX3epl7NFS3ARJ7v86c/
65afm8j/wzk=
=V9cD
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.