Back to ppl PTS page

Accepted ppl 1:1.1-6 (source i386 all) into unstable



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