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