-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: ppl Binary: libppl9, libppl0.11-dev, libppl-c4, libpwl5, libpwl-dev, libppl-doc Architecture: any Version: 0.11.2-3ubuntu1 Maintainer: Ubuntu Developers Uploaders: Michael Tautschnig , Arthur Loiret Homepage: http://www.cs.unipr.it/ppl/ Standards-Version: 3.9.1 Build-Depends: debhelper (>= 6.0.7~), libgmp-dev (>= 2:5.0.1), autoconf, libtool, autotools-dev Build-Depends-Indep: doxygen-latex, graphviz, poppler-utils, ghostscript, texlive-math-extra Checksums-Sha1: 915f1d8a7def10e540bf2806babf94dccd15852a 12348525 ppl_0.11.2.orig.tar.bz2 484e3f7bf7774ce7ab15d6a1ee2261df323ce36f 305065 ppl_0.11.2-3ubuntu1.debian.tar.gz Checksums-Sha256: e3fbd1c19ef44c6f020951807cdb6fc6a8153cd3a5c53b0ab9cf4c4f6e8cbbeb 12348525 ppl_0.11.2.orig.tar.bz2 816128f7f40d949dd9b1a25fb2ce40669c91085af10a5b4b1852cfda7ee1e153 305065 ppl_0.11.2-3ubuntu1.debian.tar.gz Files: c24429e6c3bc97d45976a63f40f489a1 12348525 ppl_0.11.2.orig.tar.bz2 5bb5b89f2809ed78f8c5949d9e6feeef 305065 ppl_0.11.2-3ubuntu1.debian.tar.gz Original-Maintainer: Debian GCC Maintainers -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk2v3z0ACgkQStlRaw+TLJzLfACeIlFtmOUGICe3RDJWUQLIvcom iRAAn1M85spD1Hf2vU4UKQOA1mTfGJJO =9Vih -----END PGP SIGNATURE-----