-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: ppl Binary: libppl13, libppl-dev, ppl-dev, libppl-c4, libppl-doc, libppl-swi Architecture: any all Version: 1:1.1-6 Maintainer: Michael Tautschnig <[email protected]> Homepage: http://www.cs.unipr.it/ppl/ Standards-Version: 3.9.6 Build-Depends: debhelper (>= 6.0.7~), dh-autoreconf, libgmp-dev, swi-prolog [!hurd-i386], chrpath, libncurses5-dev, libncursesw5-dev Build-Depends-Indep: doxygen-latex, graphviz, poppler-utils, ghostscript, texlive-math-extra Package-List: libppl-c4 deb libs optional arch=any libppl-dev deb libdevel optional arch=any libppl-doc deb doc optional arch=all libppl-swi deb libs optional arch=any libppl13 deb libs optional arch=any ppl-dev deb devel optional arch=any Checksums-Sha1: d24a9e95c22459b396820109c9bc195f35e60640 14734820 ppl_1.1.orig.tar.xz 94e3be072b3cde5d53dad5a5cdc598984bd8e927 11068 ppl_1.1-6.debian.tar.xz Checksums-Sha256: c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 14734820 ppl_1.1.orig.tar.xz 5fc30d6f179f5425ad14465ed60ecfd2fee92b74f3a2e409474063ab53e02d2a 11068 ppl_1.1-6.debian.tar.xz Files: 82617a9c4e08606111ed9d2dc37ececa 14734820 ppl_1.1.orig.tar.xz a87ef86a8c2525c7bd5b00b8572a782e 11068 ppl_1.1-6.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJV3WWyAAoJEDu/g5M27Kkx0rUP/RijdFOXLEbHoQZyWAV/sjLp 9Yws3Er6ofCt8vm7C3VNoNk+C/4AUXOtWqr4Txir+jcK8ajqAZZ2yxiGKhCwfSMM M+chdqnHzCW2Z3D8eE4ow2cMpgjZOK8vmwLchzpdRtQl+KGBNOR4dlK1coY+dwvD FDO2zweyL3Zhq65ADIrUrwQEUkGdvldV5ny14Vk/20Cy8Cx6tBvuS+1W5DT67BY8 r/KsMWh0JQrGouYJWK/nflJM7fS3Zu3EvbhLcLUUhnKoxoayl6WTVorjtRndLU3J GC1G1lmPD6UyXBIV0iB5wETZ6wX63sd0x6yKGVmjAo7347kOT5ZfLFvCUBMGtsKA UCnUVBBVAp03tnC89kVtmxhqAF9zB9avrrgAuj4sN9M1fnAkkbrzsnNx4qmYf2vv z3wcmWXvZdHDsaQdnj4UVeYXVg1HePkUhdpIfw5KrQ8ekby0HBM7LtITte4obB3Z EJUpd06e5NZfBQ+DALRaMh/+cxpcNfyFC841/qMTg/UB+5+spV5i6uOhalZQc50d rI235CPrY8FuLz3ayosm/fXpoRE1hBq4L2/WLKqTG8dfqfZdNBROtXV0amYpklf8 wWAEL0ApPN/xErmMEpvOae27Gr5GbfK3A1CRQFQUfIH/Qe6HflVCaQnpPSb3heLx IDoGJNo0xUiBx6FH5Jl6 =Cxxv -----END PGP SIGNATURE----- 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 <[email protected]> for those two patches. -- Michael Tautschnig <[email protected]> Tue, 25 Aug 2015 21:24:30 +0100
