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

Format: 3.0 (quilt)
Source: ppl
Binary: libppl12, libppl0.12-dev, ppl-dev, libppl-c4, libppl-doc, libppl-swi
Architecture: any all
Version: 1:1.0-7
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Michael Tautschnig <mt@debian.org>, Arthur Loiret <aloiret@debian.org>, Matthias Klose <doko@debian.org>
Homepage: http://www.cs.unipr.it/ppl/
Standards-Version: 3.9.3
Build-Depends: debhelper (>= 6.0.7~), libgmp-dev, autoconf, libtool, autotools-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
 libppl-doc deb doc optional
 libppl-swi deb libs optional
 libppl0.12-dev deb libdevel optional
 libppl12 deb libs optional
 ppl-dev deb devel optional
Checksums-Sha1: 
 f5be29fe0c2a17090ba6232f0e90b5c8e65bebb9 13847344 ppl_1.0.orig.tar.xz
 de50510ded8cb363cb9ba750ce79ce5219f7af99 12574 ppl_1.0-7.debian.tar.gz
Checksums-Sha256: 
 304d8e93f1a76077effdebbbd81d053b3c0e1e0eb9b7a46b387f0a57eb8e09c9 13847344 ppl_1.0.orig.tar.xz
 7a970ee6dc8fa730948786b0e19023d3f66d074ca961a0714f3735e6f5706474 12574 ppl_1.0-7.debian.tar.gz
Files: 
 e8caeb84cd858f64b36333c368891c7b 13847344 ppl_1.0.orig.tar.xz
 2e74f7fa4bb1de881d856a7e682835a9 12574 ppl_1.0-7.debian.tar.gz

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

iEYEARECAAYFAlGLljkACgkQStlRaw+TLJyHAQCff+AxZ0LRdMW1aU+nzaqnObh/
NG8An3ekAbAU3kKy8EYrvw2jCQraiX+z
=nKEq
-----END PGP SIGNATURE-----