-----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-2build1
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: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/ppl.git
Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/ppl.git
Build-Depends: debhelper (>= 9), dh-autoreconf, dpkg-dev (>= 1.16.1~), libgmp-dev, swi-prolog [!hurd-i386], chrpath, libncurses5-dev, libncursesw5-dev
Build-Depends-Indep: doxygen-latex, graphviz, poppler-utils, ghostscript, 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=any
 libppl14 deb libs optional arch=any
 ppl-dev deb devel optional arch=any
Checksums-Sha1:
 56c3e4cf3be90e11dfdd877b449adedc26cd8ec9 14136236 ppl_1.2.orig.tar.xz
 e8913920957be06a91631b0379ad576d08542f14 11848 ppl_1.2-2build1.debian.tar.xz
Checksums-Sha256:
 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz
 697246353cd97d6321574e4f183f77060a2530430aa91cd6977fc782295e6f41 11848 ppl_1.2-2build1.debian.tar.xz
Files:
 e7bd12043d1064214f7a0107b6da3f17 14136236 ppl_1.2.orig.tar.xz
 c645dba01eb7c098b647b0440fd55b26 11848 ppl_1.2-2build1.debian.tar.xz

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

iQI3BAEBCgAhBQJZePd2GhxzdGV2ZS5sYW5nYXNla0B1YnVudHUuY29tAAoJEFaN
MPMhshM9z0sP/3FRqLnj7M74nr9MDKeFexUZyZ4z/R8zY7yiZ/or9CXF4GCL2jOG
VSGFryI+iQY1R0k4AST8CDJ27tGnrMeCz17yi3y9fj7h3fcjONl+0VMy8LqlCGKg
aGm55EbXYXcRTd17MhXoVkLqMGarrt8jQf80FGy5cXo8FNjkpkG9OE74YN2rLlY2
5cvaUhmnIITKb5td6LHiTzCFokggsmDexjAaSORyvzagPLx0b1nbzagKolkOalON
nHiJAOcoQ7WScUvMp4FlcjTNvTmF4AXn9dKzRWX9GicziaUHFu8nDMgOSo5Oz8J6
JU5EqMIDeSYhNzbpua46zmCuliIh6nN3Olo61C/sa+ySiGzyG9/SLWGbTLOROGlU
TdOAfxwPuxW8wtjnOXMGPFL5s3NMtEa+6SmORJ8ZfT47DzLYqEKO4LsrsXI48eIp
yAZwBWsAzDaVXIPNhWm1ppCCHSfnyAC98fEOOkbAFRZPgSCSuWaQIaW8Lzh5xrPM
mgeAnvMUJe8D0jHsX+q28pxVYW9Qe2lvbQEA7509m/1MSWkVrdgIoPLfakhM5IKk
t6SNkx4g9z4Y0VrDs0EhE07hi76g0ZxUdqGIMojX6XHnb5Hz1u4imll17RzpKMU1
G5RIZnwVXE8+M668txWarc2ajKH7ZchDytFPOkqoZNSP/ic9KjldkX82
=0Fni
-----END PGP SIGNATURE-----