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