-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 25 Aug 2015 21:24:30 +0100
Source: ppl
Binary: libppl13 libppl-dev ppl-dev libppl-c4 libppl-doc libppl-swi
Architecture: source i386 all
Version: 1:1.1-6
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@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)
libppl13 - Parma Polyhedra Library (runtime library)
ppl-dev - Parma Polyhedra Library (development binaries)
Closes: 788455 791996
Changes:
ppl (1:1.1-6) unstable; urgency=low
.
* Re-adopting the package. Closes: #791996.
* libppl-dev.maintscript: Perform the symlink_to_dir migration of
/usr/share/doc/libppl-dev. The symlink dates back to the package in lenny
as the libppl-dev package did not exist in squeeze or wheezy.
Closes: #788455.
* libppl-dev: Update Breaks+Conflicts to match Replaces+Provides.
* Thanks Andreas Beckmann <anbe@debian.org> for those two patches.
Checksums-Sha1:
654d241ab9d616699d4dc843db0e1a672cba7d83 2137 ppl_1.1-6.dsc
94e3be072b3cde5d53dad5a5cdc598984bd8e927 11068 ppl_1.1-6.debian.tar.xz
ad648eaf3d079e6c20469021010b2140263845e0 6647470 libppl-doc_1.1-6_all.deb
Checksums-Sha256:
5315412f07d9bac86b3b4bb723ed17d9ec3e075a25a3abb9891c41f8b7e67eca 2137 ppl_1.1-6.dsc
5fc30d6f179f5425ad14465ed60ecfd2fee92b74f3a2e409474063ab53e02d2a 11068 ppl_1.1-6.debian.tar.xz
26d36a97b4304e3abd2fba0540d85dcb12998af54a4a78eed52ddfe3e39c69a8 6647470 libppl-doc_1.1-6_all.deb
Files:
a3656220bcb99cb723e8513358f99735 2137 libs optional ppl_1.1-6.dsc
a87ef86a8c2525c7bd5b00b8572a782e 11068 libs optional ppl_1.1-6.debian.tar.xz
d9a9da1175eaaa2a4d12b4d8e0fe2fca 6647470 doc optional libppl-doc_1.1-6_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJV3WWyAAoJEDu/g5M27KkxZNgQAKjQ1Yir/ooxspDsxssza2vT
kL0ToPLzqP+qTbfb2j2c6jQ9gBHTmNBnLwQOkrcuvLPO9TFiBY1P2Bd4Dp/eTp4A
CSoWG5zDcfzUSIS1ImPm2/3HVpaiPbxzbKBjsUUqQ8rpk2TGOdLFNhACcMkHRUqT
uwiv/FzmgC2cGJLZr6eEoP0m1Ye62CQtiSNiXscoPib5jRYZ4ylAyYzvjwWN/ZtN
TenNQfitFLUWBYYSxXUJ3OfBadmSiPCHs3ovFQgOWJd8cY2d5UfaIrxkfQULogRv
gnsWe785ng8tBeFMw8/8Dm5Z8z/O3bY9WHA4M0+JzlTloe4XQSa/dUmkAHyZcQAC
+T+y3HTBBAJO4kVZBZW5RCqudyxHGeG8Zmsqh4ZLgu7xlXcxSMJ/ewyp/gb2KxHS
iCmhD3OFXZhVdf98EN5KvJhhQTUT56TzG/RykqOK8eZGHw4E76CkKCNr61c/5NWl
dCO6OkJ0KUHMhGcDZ/vR10fqJZEdPLSdWN1TLCUAsCypuLsvZ8+L8mlG5xx+6UNM
4eBEPibzhXO6OS9OuaX/nhnLrbKrtZfJZ3Z3cT6w+eLXuLeeCCPxwuBNQKx8ML+e
+ufwnKzybsV+Yw86anqamh0SlRAjT4dzWa19Jcx2Yi/qrTvevpiHD1srxKYA3rtI
SAEGhpKP0y7ek32vbIGm
=fqOG
-----END PGP SIGNATURE-----