-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: ppl
Binary: libppl7, libppl0.10-dev, libppl-c2, libpwl4, libpwl-dev, libppl-doc
Architecture: any
Version: 0.10.2-7ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Michael Tautschnig <mt@debian.org>, Arthur Loiret <aloiret@debian.org>
Homepage: http://www.cs.unipr.it/ppl/
Standards-Version: 3.9.1
Build-Depends: debhelper (>= 6.0.7~), libgmp3-dev, autoconf, automake1.10, libtool, autotools-dev
Build-Depends-Indep: doxygen, graphviz, texlive-base-bin, texlive-latex-extra, texlive-latex-recommended, texlive-fonts-recommended, poppler-utils, ghostscript, texlive-extra-utils
Checksums-Sha1: 
 3cc4e9dc2d2c7fbdaa63420a857c9864dcc230d2 10796878 ppl_0.10.2.orig.tar.gz
 ff1beaa0e9e63e97c02974bea5444d10d5835f52 446033 ppl_0.10.2-7ubuntu1.debian.tar.gz
Checksums-Sha256: 
 e6943db6fa6995e526aa8bcd3d10e823dadd258ce773f593fa1635370f3d1548 10796878 ppl_0.10.2.orig.tar.gz
 6562f6ebca891deeda3bd61fb048cf4ba91e37f7c13c43dc1be7ce5c088b4a6a 446033 ppl_0.10.2-7ubuntu1.debian.tar.gz
Files: 
 81fe66928d334bbd63a50ecdf4f57918 10796878 ppl_0.10.2.orig.tar.gz
 088304d7a53d3d25c814a5ce32cee5b1 446033 ppl_0.10.2-7ubuntu1.debian.tar.gz
Original-Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>

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

iQIcBAEBCgAGBQJMZmtkAAoJEBWetcTvyHdMnvYP/394api8MXVIJusZKpZhae2v
byiEYqzojOU9HXZkXAj84ECznKNp9RhV/1/MB8Ls36nCmh51+v7sPWRce8i5nIYv
23BlARJEoRnePLZI3lXrEmoVFc+9qx42+VYH/1e8H0act+/x+4TeOZkiEmpeVMgb
GM4EdKMLXbxPc8M9cSQvuGwPMndcv1h++OXP2MN/cR70HlT6hoJAfus4qBg5Mys5
4QsGjfHZ9pszTZwYjPPtm1Qi4Klc3cVydV1uAp6WMRiyKPabqnUAMs1laN/0ra6j
+7Q6h9BZ2yMwzo9w+cwxOxwrg+YktAct5Tml9/WQt8Lfa48kyDl+I089u8zDxHCD
jkjnu1Qe+7hzjX9tTnh0cbtf6Ms1QVDBjjzQdR39uDFpX/HmjHWS1baTm/NP+oZH
wxv8FQGPx3nij/OI6+iiy7J0kBji7/h3EVqSTgzMhP8b+vrlksz+TWc+OjA5ABNZ
OC3q3xXjFB+e47ccqI7N1+62+CeUW1bZmTP7yYVkSI48f2U0sSSAc948JpdaDS5+
c1AhRKLsFijE+i3YcLo11Itfdz7vF4B36ZIuGJHUaziKNVMB1tXlJQaaV7AzmgUh
hl9jHNoyXLWrArZsTz4ttOpNMJY6pLRyOQmHT6XdOs+rKlOxMmG4nDimd8meUGoE
JsxSh5OSBLozH8pNd/4u
=bwUF
-----END PGP SIGNATURE-----