-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: ppl
Binary: libppl7, libppl0.10-dev, libppl-c2, libpwl4, libpwl-dev, libppl-doc, libppl-swi
Architecture: any
Version: 0.10.2-8
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Michael Tautschnig <mt@debian.org>, Arthur Loiret <aloiret@debian.org>
Homepage: http://www.cs.unipr.it/ppl/
Standards-Version: 3.9.1
Build-Depends: debhelper (>= 6.0.7~), libgmp3-dev, autoconf, automake1.10, libtool, autotools-dev, swi-prolog [!hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !mips]
Build-Depends-Indep: doxygen, graphviz, texlive-base-bin, texlive-latex-extra, texlive-latex-recommended, texlive-fonts-recommended, poppler-utils, ghostscript, texlive-extra-utils
Checksums-Sha1: 
 3cc4e9dc2d2c7fbdaa63420a857c9864dcc230d2 10796878 ppl_0.10.2.orig.tar.gz
 790f7994aa0416f4d8f9053dc48bf3629a8ca4ef 318066 ppl_0.10.2-8.debian.tar.gz
Checksums-Sha256: 
 e6943db6fa6995e526aa8bcd3d10e823dadd258ce773f593fa1635370f3d1548 10796878 ppl_0.10.2.orig.tar.gz
 cf8297e749806d123e24f058e6a87c57c3c39c1d21200b30891baac808ecab5d 318066 ppl_0.10.2-8.debian.tar.gz
Files: 
 81fe66928d334bbd63a50ecdf4f57918 10796878 ppl_0.10.2.orig.tar.gz
 73f647e5077e3feae7f660af1f760d99 318066 ppl_0.10.2-8.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAkyFF68ACgkQvx6dH3bVKsTinwCdHNB6DIaG0omc2wiL/BGKUPzW
ubsAn2Cola3taGTN7jwtQQV7gR8BWbbs
=yCo9
-----END PGP SIGNATURE-----