-----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+dyson1
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
 026ee275231e59b940d78ead823b0ac9a702e472 13037 ppl_1.0-7+dyson1.debian.tar.gz
Checksums-Sha256: 
 304d8e93f1a76077effdebbbd81d053b3c0e1e0eb9b7a46b387f0a57eb8e09c9 13847344 ppl_1.0.orig.tar.xz
 f394e64af2acddbf2bd8fc6dd32e75050c080b0fcb3e040fcd05520cc1d0edca 13037 ppl_1.0-7+dyson1.debian.tar.gz
Files: 
 e8caeb84cd858f64b36333c368891c7b 13847344 ppl_1.0.orig.tar.xz
 4488027b9753caa76dc51547fa721827 13037 ppl_1.0-7+dyson1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (SunOS)

iQIcBAEBAgAGBQJRmghMAAoJENk4dT5ESh0UhP4QAKpjlmFcyE1ekS2LMipeeGTF
sUcUjiocckjwE69HxIxzsC+U1zXzeiIsDsJ2WOMTvWOHcR3K31RLV8/WaPHgEtp8
1zxmBFvj+HEO3erBSWFkWofw0U4OliFDFUBpb2QUTnGJs8Ic8UtWRYweW91BX/wy
RAGoZy5YPcqe/EoDVHoEx0rbRrK/WYaAl6HR/ITSAb0iuZ22ht0M4ICpXOQl8fmV
qzrtHVWLK34K76WS4lzG11GIvoFoRhnlbIoV5EpHECHU265BMaZ1UdE2QdWt7fEY
5MycTVuST7cxRTrjmLhk7L20aKNR8Kn5SP1c1f7IGlPNIYksDYF25yHa1iu7nQwd
VQfW01tZFblR3uRVfWidmXZM6LDh8ico9t9csVFiSYJN6Qrn51GyqxhBRHEnK/MR
hI7CC2e8VQkLs8Nxupkk69l0deetBWKlUN+KYu74o3Mu96cZvWEw+ZHgqgWCfbaV
ZcZ36zeVvP0ffr4/wcjyImG9vvwIUV7tKwjR6VanVecJnz48uUtFq1t2EAs5E6RI
yB9wLyiU4Wtbn+IE4FPbL6d1m75JyvSqU4PZ7QRFIRcwWtO/YTlgQ7XldFAmqshF
nFJ+BFKzmQDffnTK1vMYMFGbqWY0NNFhHlXIx1LpALdqrn4TtH5BUcYyYCgLnn1f
JhHjGZGL7yOdG7wvyt4x
=LfDT
-----END PGP SIGNATURE-----