-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 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-3 Maintainer: Debian GCC Maintainers <[email protected]> Uploaders: Michael Tautschnig <[email protected]>, Matthias Klose <[email protected]> Homepage: http://www.cs.unipr.it/ppl/ Standards-Version: 3.9.5 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 4581a9b700cab023791e61eb19b29c45eb991a7d 10552 ppl_1.1-3.debian.tar.xz Checksums-Sha256: c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 14734820 ppl_1.1.orig.tar.xz 2c101963e6db3411f664da96d9bf52569647ca75255f7f73fa154c881235f736 10552 ppl_1.1-3.debian.tar.xz Files: 82617a9c4e08606111ed9d2dc37ececa 14734820 ppl_1.1.orig.tar.xz d4d4f8c1f92e624c3d1126cf0e0ac9a5 10552 ppl_1.1-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlPSolgACgkQStlRaw+TLJyP6ACff9M+dWpVVaJvxi+OU0tCrijK Gf0An1slNSrO+X36yN68DPi77E55hisD =dWW7 -----END PGP SIGNATURE----- Changes: ppl (1:1.1-3) unstable; urgency=medium * Build using dh-autoreconf instead of autotools-dev. Closes: #755959. * Define our own \+ latex command. Closes: #751355. * Fix linking of libppl_tests. -- Matthias Klose <[email protected]> Fri, 25 Jul 2014 10:55:11 +0200
