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

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-3
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.1.4
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, 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
 829dc0d311351e9fb8c2778a3cca4c808ebf25c2 12176 ppl_1.2-3.debian.tar.xz
Checksums-Sha256:
 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz
 e262695455babc7526e18abc67632a9e7db57d47789a14324aebe7ce8c5b2a1a 12176 ppl_1.2-3.debian.tar.xz
Files:
 e7bd12043d1064214f7a0107b6da3f17 14136236 ppl_1.2.orig.tar.xz
 31ceddb71f7aa993fba9c73146f8dc58 12176 ppl_1.2-3.debian.tar.xz

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

iQJFBAEBCAAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAlsKNxkRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtEFIQ//Q7knj1D3915gKx1Xj1kgE9hXXeUwBFOX
PPpUuMJQGUk/yyXHqyeP81suBpvk1oBWL1TK+QoZcIC0TDYqLdGE7joh0Iw4BpSM
D4Ih0KNflzvXH9KyBMJTzD/IIYx1yt+zLTwG0xY/5IFymqEMlfseTSKhvlhhEx7N
nxlEWhNnH3vYRCpd5X82OOiOIondaBnXVtTp/Jpx9JslHm1NYXZwiOTyjOTY/efU
d7u0b7EqNg+7bLTmxSkgWu+0BPBkzFg23adxM/6l18iIraPdDBaeEixgrQQpqPh7
ZWmtCM9r1KmymUk/Bi44d/IhT5/TjB5ZazSrT3hN2fk2g3GGEPT9/MlS4B2lxxoG
Hs4+EqXN/bBiG8Qyr9CARGG/v+V6e7a2Szv0H2HcTFXiMDiGzV7A4rDnSx9dq3WD
F8sJiI9BQd027XaIpPzk0QZKbcfDOHuzjAw2q78RAU6QWEaR6SHm+cGHjuJDtHQg
Qn/KaWxZMopKHsuFX4RQTWuxGqfKnOG4v5As6bHBu0waeilETHbcQY/za+Ai5Mqd
OYS7HPxGysVw5/0tbTbeik/CD6d3ugCfAqv3BZ7mpKnVlivyW0/6yzFywvFdVRY5
L8VLRLc8AASCPYsY0nAVlAfm90iDq21h+65xYOYarlydIL/nKOsY9W9wFwiJU4Ed
yOCGWPDE62g=
=feU8
-----END PGP SIGNATURE-----