-----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@lists.alioth.debian.org> Changed-By: James Clarke <jrtc27@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-----
