-----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-3ubuntu2
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Michael Tautschnig <mt@debian.org>, Matthias Klose <doko@debian.org>
Homepage: http://www.cs.unipr.it/ppl/
Standards-Version: 3.9.5
Build-Depends: debhelper (>= 6.0.7~), dh-autoreconf, libgmp-dev, 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
 e95ac8b403c66a0e4b161bcc5f39c72599175bdc 10664 ppl_1.1-3ubuntu2.debian.tar.xz
Checksums-Sha256:
 c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 14734820 ppl_1.1.orig.tar.xz
 7901b4eafb34e211ffcd0875be4c9d66135ec997e2f0d93f78fa75b800bf0464 10664 ppl_1.1-3ubuntu2.debian.tar.xz
Files:
 82617a9c4e08606111ed9d2dc37ececa 14734820 ppl_1.1.orig.tar.xz
 f7facb74d5ceb58bc54c6ea0b903528d 10664 ppl_1.1-3ubuntu2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEARECAAYFAlPTcQUACgkQStlRaw+TLJyzmwCgo26HmREtze96yOkVz+KntWbb
e2MAn1NgWjVI8o03+Fj7Qffpt6uS1RjA
=WqFT
-----END PGP SIGNATURE-----