-----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.0-1ubuntu2
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
 cbf52e4520c2f629770bb4ad6e37004bb7fe08a9 15543 ppl_1.0-1ubuntu2.debian.tar.gz
Checksums-Sha256: 
 304d8e93f1a76077effdebbbd81d053b3c0e1e0eb9b7a46b387f0a57eb8e09c9 13847344 ppl_1.0.orig.tar.xz
 70342df44933e577a572e3c2d9ffcd6d058fbf229419c850acb58e4e27d4c5bf 15543 ppl_1.0-1ubuntu2.debian.tar.gz
Files: 
 e8caeb84cd858f64b36333c368891c7b 13847344 ppl_1.0.orig.tar.xz
 017f7ce067948852fc194f2bc93559d8 15543 ppl_1.0-1ubuntu2.debian.tar.gz
Original-Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>

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

iEYEARECAAYFAlEGqEQACgkQStlRaw+TLJy9BgCfZMq7F9Ibfjf1Mm+ND3E9N+LE
38wAn3mFsv5OpRgF4NIFAVOpBksMgNQa
=eKEn
-----END PGP SIGNATURE-----