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

Format: 3.0 (quilt)
Source: ppl
Binary: libppl13v5, libppl-dev, ppl-dev, libppl-c4, libppl-doc, libppl-swi
Architecture: any all
Version: 1:1.1-7.2
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cs.unipr.it/ppl/
Standards-Version: 3.9.6
Build-Depends: debhelper (>= 6.0.7~), dh-autoreconf, libgmp-dev, swi-prolog [!hurd-i386], chrpath, libncurses5-dev, libncursesw5-dev
Build-Depends-Indep: doxygen-latex, graphviz, poppler-utils, ghostscript, texlive-math-extra
Package-List:
 libppl-c4 deb libs optional arch=any
 libppl-dev deb libdevel optional arch=any
 libppl-doc deb doc optional arch=all
 libppl-swi deb libs optional arch=any
 libppl13v5 deb libs optional arch=any
 ppl-dev deb devel optional arch=any
Checksums-Sha1:
 d24a9e95c22459b396820109c9bc195f35e60640 14734820 ppl_1.1.orig.tar.xz
 e32e671fd972a70b42170021e3185745cc8f4f78 12508 ppl_1.1-7.2.debian.tar.xz
Checksums-Sha256:
 c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 14734820 ppl_1.1.orig.tar.xz
 8a763de5077b5238d89f3f8437fdb768f9cb91d4952786b38d17bb4c2a066a55 12508 ppl_1.1-7.2.debian.tar.xz
Files:
 82617a9c4e08606111ed9d2dc37ececa 14734820 ppl_1.1.orig.tar.xz
 d4dc11598c70e069ada65c5d49185bcb 12508 ppl_1.1-7.2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWa0R3AAoJEL1+qmB3j6b1M1gP/iFext6eySqswibWflXMtUTT
S0Mrp+N+hq+aTKVdUIENijZKrs7M9R6kGP9uP4LciHExJb10Q/ISQfSyUVoKoqoH
RtLAXAtOG6cMLTTOtn9SqC60LZOuI3lkQbZq6fsSBM3bEwNiD6Mb5dAr6I0jrqXa
RlzPeQTc9/soCZg19E0+wP0ugmBoh0yFMRlwcLWk4jLbh4PskIlCJs+aYU2vJ7Bu
fCQ3yx+ri6a5fTqk+JwSuFfRXy4ua9noTcOnz4ejdfGzU5fsglA8RacvUjcOHJJI
o8Ly5AJo2tlJ2Z1FxwqeFgX19tQJtQWG/LtmwI20aEhx+yC/suDBQnvW2avbtuMU
vdjKOChu+MVR+Wld38ORyxEGrzOZQdOZvX1fSlR3mN5JaiozHdL+woPcKmmWQ9YV
cnIsJp15+kejB5qPROax0zstHY7vqqFlTXCOWE1XGKTX97/3IpKJ370A7GERRuEV
en4aY27CDALjRKcDsfQYPRYrW9fGbUlZtnWstRGH4Yf1AHQH/OojDds8sP6N3QcE
/1mlMEkmMaBzB2paVsJPehk75JNYpBrP/PZlsL967sJOdvsfHCgckIUwOTXYgirb
Hwi4MpI9HHnVjtfcikADPnRAYy1d1U006uclJ9avLJZD4FbCXntDhLUkCCBI8hL/
WOrQNU3YnS/T6cp8hLa8
=lf/i
-----END PGP SIGNATURE-----