-----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-7ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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, 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
 aef58cbafbedf86d6d37bcc09e0925215bf3004e 12813 ppl_1.0-7ubuntu1.debian.tar.gz
Checksums-Sha256: 
 304d8e93f1a76077effdebbbd81d053b3c0e1e0eb9b7a46b387f0a57eb8e09c9 13847344 ppl_1.0.orig.tar.xz
 677e3ba3176f1e2b523e6dba57d3fc04aa97eb752a999abafef1de706a887684 12813 ppl_1.0-7ubuntu1.debian.tar.gz
Files: 
 e8caeb84cd858f64b36333c368891c7b 13847344 ppl_1.0.orig.tar.xz
 d37f26760299ed8a9f91bff16d9e18d3 12813 ppl_1.0-7ubuntu1.debian.tar.gz
Original-Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>

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

iEYEARECAAYFAlHQXGoACgkQStlRaw+TLJwphwCePK+l9UNSs3KzUzHM37PqO8iT
xmYAoKnH1yO1FmDTDfzpaBjMTuTV+8Ij
=SEqW
-----END PGP SIGNATURE-----