-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 11 Dec 2015 22:04:46 +0100
Source: ppl
Binary: libppl13v5 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source amd64 all
Version: 1:1.1-7.2
Distribution: unstable
Urgency: medium
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Matthias Klose <doko@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)
libppl13v5 - Parma Polyhedra Library (runtime library)
ppl-dev - Parma Polyhedra Library (development binaries)
Changes:
ppl (1:1.1-7.2) unstable; urgency=medium
.
* Non-maintainer upload.
* Restore the libppl-doc and libppl-swi packages, not built by mistake
in the previous upload.
Checksums-Sha1:
47f535d6335a01da313b2fd73f7c5f5c88276aa1 2109 ppl_1.1-7.2.dsc
e32e671fd972a70b42170021e3185745cc8f4f78 12508 ppl_1.1-7.2.debian.tar.xz
f2b45513a276fcc1af451e3c5543148c0ff7103f 939198 libppl-c4_1.1-7.2_amd64.deb
816259f30cab37fc76e267060f3789676166d799 2050454 libppl-dev_1.1-7.2_amd64.deb
8745fc32d0e7f30d554e0f292fe0225d7079d101 6640216 libppl-doc_1.1-7.2_all.deb
a82b99f80ad98c6b47dcc27b05304113d8f83d87 2546782 libppl-swi_1.1-7.2_amd64.deb
ed981bc2d1de9c3b27d6fa2961ab670a3e3bba5f 600672 libppl13v5_1.1-7.2_amd64.deb
f6558c59348af94c4684ac2dd9ce27d5b28db81c 201810 ppl-dev_1.1-7.2_amd64.deb
Checksums-Sha256:
cc2937f8c8e90af9f7ee73ce02b1ed4fd420eeba892e5ddd29a7bc7237716856 2109 ppl_1.1-7.2.dsc
8a763de5077b5238d89f3f8437fdb768f9cb91d4952786b38d17bb4c2a066a55 12508 ppl_1.1-7.2.debian.tar.xz
0e9dc1d798b966ae0a0b882d08b354275dde80336d9055e38a93320ac656c715 939198 libppl-c4_1.1-7.2_amd64.deb
e9b41001a8b23d127033d01e46597c4796e63fb3965ecc63fe9de6ea3c9013d4 2050454 libppl-dev_1.1-7.2_amd64.deb
44cbf000d5155d39942d39e357c3e84d4e19d4746bdd27531f3bc774560deb0d 6640216 libppl-doc_1.1-7.2_all.deb
36007c468f83ed76c3aaf7109746ab2837072934407e123aeb1732e9e0eaa998 2546782 libppl-swi_1.1-7.2_amd64.deb
d2f831bd4737f607ac51035e180528344c0d6b2bfc4c3d4d4fa2fba2fcbb1632 600672 libppl13v5_1.1-7.2_amd64.deb
dd9a6a1e921221f3f6649c829956e4741766bf6c6aec210502e008289c5778ca 201810 ppl-dev_1.1-7.2_amd64.deb
Files:
f2126101429cddb0608cf60b29360d2f 2109 libs optional ppl_1.1-7.2.dsc
d4dc11598c70e069ada65c5d49185bcb 12508 libs optional ppl_1.1-7.2.debian.tar.xz
f6506ccfec3b5ff15e5783d355979623 939198 libs optional libppl-c4_1.1-7.2_amd64.deb
892bd20361497b883f9e0845ac85656a 2050454 libdevel optional libppl-dev_1.1-7.2_amd64.deb
eb4b82eff8c37a161fe2a1eef7957b92 6640216 doc optional libppl-doc_1.1-7.2_all.deb
aca049115a32eab39ae93824f02d7964 2546782 libs optional libppl-swi_1.1-7.2_amd64.deb
fcad1c291e1746e1e42425efbc3982fa 600672 libs optional libppl13v5_1.1-7.2_amd64.deb
5b139ce7cee7ebbc4bf9990ccf2878ce 201810 devel optional ppl-dev_1.1-7.2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJWa0SAAAoJEL1+qmB3j6b1+ZgP/iz0KwnDjfKPvOEVyK1VEi/F
HKj8AzAVKXY5T+zsrjXzZ4uUb0UVh8G41ctHsnUxkyHHCUhZohtgW/xZJqCZ5Aqj
WQWdhmoJ+lMtRVidLEfctQv1hYSgHqc6aH4UZg/wnbZ0TJ1u36C+VJhMsrIGYP2O
3TiefG+klBukZ/2mefl9RXvtyM0+mGqKF9oV8osrY5VEHJSAE7slumkeEFMKqRaL
l5TaAqBd5qMeNDrmDsGBx+sDB8HyEohTGtlHxU3FM3xK0BN+iK1sv8hUm6RWJEe6
PZcCzejVE+LLkiWm6nLFRMRxWRHtC0+ei5ix2z1Umw+wKiLyt39ecukxr/Fc0frk
eI+7lBHXDmmLAq2UaBclKMxzkbnuiicdBecl9uiDGTIFxPJCwu3ChOaRLlRzpFl0
drgEDEowkVfUpOoG+o67Oqe3cjbp7hHLb1Yofa8obkD0ldw9G75D3uTFpGkv0tYE
b6e9AJG42q1MXQT8nZDTKQe0yC5wYdgxWgOJX+nfOAQco1UUqLnPYXW7e6mrF6Jn
t5yE9OyErTtIFX3GjLverkkflivhuB7e5GUqieVeDMeFMXm0SDh7q/wyWy6BhhBF
PUi3tBDByMn4y9wK3Vgward/afjP2/qN8NINd9XKpMgGcIgcK9DEXc8ph6Nh0C0j
i1isoKQiKTq7Chmkj+4+
=1eQF
-----END PGP SIGNATURE-----
