-----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.2build1
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
 a01d8a7c2c5e8e3a5a5628414758213a7ead287f 12640 ppl_1.1-7.2build1.debian.tar.xz
Checksums-Sha256:
 c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 14734820 ppl_1.1.orig.tar.xz
 756ca49160d15a1bf50f9bbab524943ae0a8607a68b59582abec9b220de6cec4 12640 ppl_1.1-7.2build1.debian.tar.xz
Files:
 82617a9c4e08606111ed9d2dc37ececa 14734820 ppl_1.1.orig.tar.xz
 d40e847927bccb9bb8398f595fdaba67 12640 ppl_1.1-7.2build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJWyxXSAAoJEL1+qmB3j6b1onEQAJRXRhRaMivWli4D7eWJtUfL
YRylVOveO6KRrwMl0ozpjqyAW72S+W6L7ePF1SaSWYqPrTo70pd2ugn7TZ/zjh0Z
nlQXV3r+iCzF51tH0Ws4Tig7OsUW/IXwcyk8PaRut7ciLJi6d1gdgDaxmgElZx4Z
aHlBGPPq1y2UUtVvrLZDfqCFHJ90HwtrOAVgvFEeEtkOcyefWgPXMYD6OPS2prNd
BQPNga91yQMoBcCrG1U+f4s/7yxTbw31mCGnB9MrUEbnE101WCOtEKFXaBBP0a7g
QLefYvK+g4YOah6rk2LW0eZkWlq7KaYHvncfXFbeXQ/0U+RXrWzOgSfsOkIPRPS3
2K2aj3G84QwyRcXOB/OD9KlkmliIJJ7eKvFHXfKGMhsbUk8MlfpjulteHL+/L3YG
STuFzIYZvSV+cBQS4VDRkWYHIVcElG5JtlIL4K8Yg3khg9MvSmoY3tbKxYZ37iOU
q3viug91tEyV6YP5tfokSmElLsQUs1x/mjv4dAkUe9c8qiSVh63BKqa1Zx1HoLDm
+GnjVOhezTSShBvTpKSCNffB6oS0C08XeMncfqf/kQJbnPfCMAWNci0UUKQ75wd7
trtZ1vkkIqXyXb1rXmtJBNsmULGmip/NKHjpxb3jBjCxttyAZWmnqOzGI3gp3DHe
llTE+k6zJRLJUaP8WiwX
=Tzf3
-----END PGP SIGNATURE-----