-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: ppl
Binary: libppl14, libppl-dev, ppl-dev, libppl-c4, libppl-doc, libppl-swi
Architecture: any all
Version: 1:1.2-8.1build1
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Tobias Hansen <thansen@debian.org>, Michael Tautschnig <mt@debian.org>
Homepage: http://www.cs.unipr.it/ppl/
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/science-team/ppl
Vcs-Git: https://salsa.debian.org/science-team/ppl.git
Build-Depends: debhelper (>= 11~), libgmp-dev, libncurses-dev
Build-Depends-Arch: chrpath, swi-prolog [amd64 arm64 armel armhf hppa i386 ia64 mips mips64 mips64el mipsel powerpc powerpcspe ppc64 ppc64el] <!pkg.ppl.no-swi-prolog>
Build-Depends-Indep: doxygen-latex, ghostscript, graphviz, poppler-utils, swi-prolog, texlive-science
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=amd64,arm64,armel,armhf,hppa,i386,ia64,mips,mips64,mips64el,mipsel,powerpc,powerpcspe,ppc64,ppc64el profile=!pkg.ppl.no-swi-prolog
 libppl14 deb libs optional arch=any
 ppl-dev deb devel optional arch=any
Checksums-Sha1:
 56c3e4cf3be90e11dfdd877b449adedc26cd8ec9 14136236 ppl_1.2.orig.tar.xz
 6685af1294552edba4e312c5eb666b9b33e9150a 13564 ppl_1.2-8.1build1.debian.tar.xz
Checksums-Sha256:
 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz
 f8dbd0b27bc4a501cfe600e310e05f8824061595f83971175ba5506dcfcbc9d8 13564 ppl_1.2-8.1build1.debian.tar.xz
Files:
 e7bd12043d1064214f7a0107b6da3f17 14136236 ppl_1.2.orig.tar.xz
 86738933d4bd035468332a56be60dbe7 13564 ppl_1.2-8.1build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAl+AUrAaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2n4w/+JHOJgtZZw5IgY31DVQ8i
H73+78aZ56TVgN158nWaUbPJqmdrpV0orE2zAzhAApcb7DwhMsONtcNlihMz2qw3
oInPGwcJ2gP5oZ0BpaEDSSNuj3JmbiCwhNOqKr29ME25KE0ZBLs9Zp74twWrx7Q3
/6Tek6Ox47kgBm8SV0Voo1yGZ6Y7XkegGqUUlwMy+6fTA8N6NGZvbfS4fV4YIPWG
W3wwSQXS+ou2dtCfIlz4YZgRtHO4rRWRCfO3P0eNYVXMuGbCqvzxmAGcD57uFIIt
rnvGMYcWOfH25Zeg1NgihslpDD4q+fIQda2ZEExMt1ZVp6IVRUYJpRMxSYkNV+Nb
2gjPyftxm/pBeiWuWJgbFMqo0t/9HQA7xCcmFRcm/chPgg6y7A0V1he+IB6MDZRg
sLcak2yDSmhzxHpJKJ+/FP+tFzb+aaFy88aciBcHuwMVw3KE0QyXn/265oA4HpJ0
u1gf9srbABucKga3G+JUN3bdWYqoKJuu7JNBVM70jhfF/dcZhDYOmGjwznNPV+Oc
ByQL9RxPtHrbnzbrXVbfdptfJUZwMs0ws2mtDIMayBbvSUGVt/tLpxj1PM8ITaDa
5Gz09DNvWdaP6QyZNLjBPApVZJ/CTM9FzdFsJerP5E7CNFW2fD30L9Wq+xeJaIFl
o4OtkOlPVJRiRKJ6zLxNZdg=
=8win
-----END PGP SIGNATURE-----