-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: ppl Binary: libppl13, libppl-dev, ppl-dev, libppl-c4, libppl-doc, libppl-swi Architecture: any all Version: 1:1.1-1ubuntu1 Maintainer: Debian GCC Maintainers Uploaders: Michael Tautschnig , Arthur Loiret , Matthias Klose Homepage: http://www.cs.unipr.it/ppl/ Standards-Version: 3.9.5 Build-Depends: debhelper (>= 6.0.7~), libmpc-dev, libgmp-dev, autoconf, libtool, dh-autoreconf, 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-dev deb libdevel optional libppl-doc deb doc optional libppl-swi deb libs optional libppl13 deb libs optional ppl-dev deb devel optional Checksums-Sha1: d24a9e95c22459b396820109c9bc195f35e60640 14734820 ppl_1.1.orig.tar.xz 91014feaa28f3e5d5324942abd32de169e7c9e11 13155 ppl_1.1-1ubuntu1.debian.tar.gz Checksums-Sha256: c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 14734820 ppl_1.1.orig.tar.xz 200a2f568e2474d0a3c4b88bef943d0efe2678d10e51bf7a23a476ef114ab7ba 13155 ppl_1.1-1ubuntu1.debian.tar.gz Files: 82617a9c4e08606111ed9d2dc37ececa 14734820 ppl_1.1.orig.tar.xz 3c7068a72e718e0f4255c1304464daec 13155 ppl_1.1-1ubuntu1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlMp6qQACgkQStlRaw+TLJz7hgCfZyCGOFttiIOA5r3cR839GRwG aUEAn2dWjrxPu/XhWB87gPPoUExWtJR1 =fJZG -----END PGP SIGNATURE-----