-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: ppl
Binary: libppl9, libppl0.11-dev, libppl-c4, libpwl5, libpwl-dev, libppl-doc
Architecture: any all
Version: 0.11.2-6ubuntu3
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.2
Build-Depends: debhelper (>= 6.0.7~), libgmp-dev, autoconf, libtool, autotools-dev, chrpath, libncurses5-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
 libppl0.11-dev deb libdevel optional
 libppl9 deb libs optional
 libpwl-dev deb libdevel optional
 libpwl5 deb libs optional
Checksums-Sha1: 
 915f1d8a7def10e540bf2806babf94dccd15852a 12348525 ppl_0.11.2.orig.tar.bz2
 3324f81369e52c9d0ff0feb08375ca0d510626a6 13575 ppl_0.11.2-6ubuntu3.debian.tar.gz
Checksums-Sha256: 
 e3fbd1c19ef44c6f020951807cdb6fc6a8153cd3a5c53b0ab9cf4c4f6e8cbbeb 12348525 ppl_0.11.2.orig.tar.bz2
 2239ca5bba566b9b70901f7ec5539e95637c4783448151c566c7d314887f81d3 13575 ppl_0.11.2-6ubuntu3.debian.tar.gz
Files: 
 c24429e6c3bc97d45976a63f40f489a1 12348525 ppl_0.11.2.orig.tar.bz2
 f281662cea27718e77bc0bd5bf1a12f7 13575 ppl_0.11.2-6ubuntu3.debian.tar.gz
Original-Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Colin Watson <cjwatson@debian.org> -- Debian developer

iQIVAwUBT4afcTk1h9l9hlALAQinew/8C0+fWuhU4FzI8QFVYCO/hLZROVE/IJ+C
8W2e7PRs21BCSCjxVhHeJSDSdE6S7e6IL9dENeq37OCwG6ZGX/j0XKSKjjZQ+JIL
IUNq9KpK6ewIR5MjvdZSwsJd+jHKEIMictR3xQYe7XAjqQXAKPnMZ/4FcMYOfHwu
TPVCenb8kDYGFXguM2E24c9YYK5wVeWi+i6ZYrHTJZQiNpIf6I+/VRm9TjqvEhBE
WrD8q8Ycm9Z6prGGWGcVmBuuFfp61LoPzC4eoNA58QSrzYijjCIOXjtOn3cjYCp1
5fo9u3eiLf8DjyT6HV71mS3lVJdmuNMuxTYAvBsWHzlu4c0mDMGbBlJJR7Ne+ypf
dEY7jPFesMjXSTTh0ofYzbznxtLvQxHqkYlxjotQGgjHcUqtcEVmJH/yonJg/FNG
MvyK3TzJm5jLzkffmljFV7clA5qYAXmWCJH9Qykt2pkqzY9zMabez/DDB22thzjZ
Tf+DkkjBOHJVdyMEpInp+5T/2E54Wjy7XNLLzXe0PEk5U3yMGXC9xsav5Bl6OnL6
zCn49y98fAUL8pwhwevLJq1g2pLrtEK7B6J2+Krwo7eFO7J1yvh8ZwdlRxopwKNF
PqaTvyzUqF4z5Ot8fOdn7F+u5UgOkV5hgIencjvqLUUAq03UU7UtnoMtR8GBQtvs
9cosyWMlfaw=
=zEj5
-----END PGP SIGNATURE-----