-----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@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) 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-----
