-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: ppl Binary: libppl9, libppl0.11-dev, ppl-dev, libppl-c4, libpwl5, libpwl-dev, libppl-doc, libppl-swi Architecture: any all Version: 0.11.2-8 Maintainer: Debian GCC Maintainers Uploaders: Michael Tautschnig , Arthur Loiret , Matthias Klose Homepage: http://www.cs.unipr.it/ppl/ Standards-Version: 3.9.3 Build-Depends: debhelper (>= 6.0.7~), libgmp-dev, autoconf, libtool, autotools-dev, swi-prolog [!hurd-i386 !mips], 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.11-dev deb libdevel optional libppl9 deb libs optional libpwl-dev deb libdevel optional libpwl5 deb libs optional ppl-dev deb devel optional Checksums-Sha1: 915f1d8a7def10e540bf2806babf94dccd15852a 12348525 ppl_0.11.2.orig.tar.bz2 5877571867d3ea75172d21ffc66d219638a5c90a 15162 ppl_0.11.2-8.debian.tar.gz Checksums-Sha256: e3fbd1c19ef44c6f020951807cdb6fc6a8153cd3a5c53b0ab9cf4c4f6e8cbbeb 12348525 ppl_0.11.2.orig.tar.bz2 a582a6444165a0647e41697fb4d5d356f52b5155b01874823cc94b4573f04b75 15162 ppl_0.11.2-8.debian.tar.gz Files: c24429e6c3bc97d45976a63f40f489a1 12348525 ppl_0.11.2.orig.tar.bz2 38aa6726c9f47764686c7cf77e76819f 15162 ppl_0.11.2-8.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAlArwZcACgkQStlRaw+TLJzaOQCeNDJJlUsdb9teHs8fJshmEC7w xL8An08WYWJsV5apTjqyKlFDH+N2aA6P =jTza -----END PGP SIGNATURE-----