ppl_1.2-4_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Thu, 17 Jan 2019 23:43:15 +0000
Source: ppl
Binary: libppl14 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source
Version: 1:1.2-4
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)
Closes: 849319 916952
Changes:
 ppl (1:1.2-4) unstable; urgency=medium
 .
   * Team upload.
   * fix_AC_CHECK_SWI_PROLOG.patch: New patch to fix build with swi-prolog 7.7.25+dfsg-2
     (Closes: #916952)
   * Add pkg.ppl.no-swi-prolog profile to replace deprecated DEB_STAGE=stage1
   * Use dh sequencer and drop inter-package /usr/share/doc symlinks
   * Run wrap-and-sort -a
   * Bump Standards-Version to 4.3.0; no changes needed
   * debian/control:
     - Recommend libgmp-dev rather than transitional libgmp3-dev
       (Closes: #849319)
     - Build-Depend on unversioned libncurses-dev and drop libncursesw5-dev
     - Add Rules-Requires-Root: no
   * debian/rules: Enable SWI-Prolog interface on arm64; hopefully improved since 2013
   * debian/watch: Point to updated download location
Checksums-Sha1:
 a2162c0f3b91857eb73d543526e42ba5e9a0c1f0 2357 ppl_1.2-4.dsc
 3cd75e80b365983c5bce46cb5eb4685c212d3bcb 11844 ppl_1.2-4.debian.tar.xz
Checksums-Sha256:
 3f75acb3f2ebe8a7e75ec2f744875fd5b0bd7881139ccf17b5a8e1fe17397376 2357 ppl_1.2-4.dsc
 8518c2eb2dfa9a9e5e447356babb0b7f309fb90615010beae2a1d91cb035e8af 11844 ppl_1.2-4.debian.tar.xz
Files:
 bb9a07d1e75627b8a9ef6ac7ca30dc4b 2357 libs optional ppl_1.2-4.dsc
 6eae94ee2823a6c50362effab6e7d9e3 11844 libs optional ppl_1.2-4.debian.tar.xz

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

iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAlxBFo0ACgkQsZN3DBhq
HH0rgw/9EUCFSyY5WXEbVPvXZukMbd2BqWqpMZN0hVtvGaEaLKrVqZeXAomj4ye8
o64lnBbn5JoENymg2p79s/h/FHHAfusxQJDsZegFt5ybE8V0Mh8NE/3lwpOyWcxJ
bEjXDQ3liqeSo+TZ6E9L12vSs2DwdSs17/uTuc6he9D2+a5oTJpWyMbvXuJsxflB
AOY3jsbENb1FGwLQpjPZUIe3c2nlm1GJpkfamQ/4+7AYJnzxppG1RmjY+CixF0Fp
FNW5//YKK4P7Jp63W943PTiHEGU5XUvVzAnICfr5hw8HyNC/2koNh+9ZEsdupWRx
scYhf3jxTvpm7oQTooLRbzR+5AMjlPN1aCNAvGZNTjQnWn3iWp6AOn4nxbKdLbM2
ndXdYtT9xJgxuEUY6WeBAoYhTz+5xwQPzHS8b+Rpy6rFPLrVQDniPJm+CmWsni8W
wR1/d+JB8U8sAOm3D+e0G34GG2VPxPdbfFe3NnsPDd4U0rTYktbL70fCgPJVPnuh
osfQpVjFTxgR+e1+LNV5K51X9anisF/XTiOTK5jNoo8D3O56GC67YIS5WpTVI27V
GZ6gUU86I/3T1vYxu64K2kYXcCfV+bFX2xvhEUHtkwjZAnYvFVCW0SJCfPTPRRda
Sjlq2rhH6ERm9WX3k/ygf/DpnkF63mGQrZ6pPFNqL4mbqIYXGGQ=
=u9ru
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.