-----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-1
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-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
 libppl14 deb libs optional arch=any
 ppl-dev deb devel optional arch=any
Checksums-Sha1:
 56c3e4cf3be90e11dfdd877b449adedc26cd8ec9 14136236 ppl_1.2.orig.tar.xz
 902e79801cfdf53cca16c7cc23ba78ecc42dfbb7 11796 ppl_1.2-1.debian.tar.xz
Checksums-Sha256:
 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz
 b4b8a6a38441c3f8da3e36d41153acd9ca48a6f0bb73d0885ef101a809eba9a4 11796 ppl_1.2-1.debian.tar.xz
Files:
 e7bd12043d1064214f7a0107b6da3f17 14136236 ppl_1.2.orig.tar.xz
 4dbd2fc5ab7301c13309051fde9b95eb 11796 ppl_1.2-1.debian.tar.xz

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

iQIcBAEBCAAGBQJYJ2hmAAoJEIyCFp2Ozs0qoAMP/RtXRcN+7a0L1M2B8SP+/fkf
xqHKlA96cKdfCg1zomU9QMuFAQ+ohCkebDCeewUYExLN5dwfOfT+l7gXA9H+1w4c
fxB5OUv80zoQpjwgUOYP+ffKKtL8VtC4b0Fds2unXTvdXZy+Y9hBCTvKuU8Gnakm
0w6pHAyTa5UCXrmnIG5XlLix2S0TOP8bc9UJfEwB4m6QUBnUz4TK2husRm6YU4p/
5GkceyZbXR9Z4G8z4w12jQoQPyTfq9Yp/KWcbFbSbxNFAIq80jT4uZR594vVlZe4
saQluWiWappXyqR0hOlRI4XqS0MpDGxGPhqMV7mKTy1UFTgNR3qrYXhsdgu5oI+b
RSwxztGkyniMUq5gCcsl+XaiJpuok7XC7NI3Hvpqw6LZ/SIyC5tS7o8VCG5OXzNg
t8UM9imandImRh4R/4SJmkrFBWntjAWw4Lg+hntY3qXzHLYEq9SFM+gKy2DEaGO1
lnIpyi7HuIKfV3StoB3Sbnw12yvVHOXbXy36N+GRR6dcT5bbAVOPGf+zOFwP1erp
sPLvmsvtXTBo+iYbjqlTDNI8P8l9ckW1fTh5iHdIgVhUNsjMQTTs2L7w34pX83zj
M8WUWh45CoFPRFZxIYH8/fGv7luwX82euBcetcRSAl8ePrZ2R/bsIrYApJhum6VB
rwThgGbknR7Jkn8gNlYu
=H+eD
-----END PGP SIGNATURE-----