-----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-2build4
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
 c0d6c938ce1310ad4d22f512a8ae4415100a728d 11940 ppl_1.2-2build4.debian.tar.xz
Checksums-Sha256:
 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz
 75c5eb597fcbc800d380fc22ba0b0afdb65ef98fec4b82ef6fed7c40c88cfec5 11940 ppl_1.2-2build4.debian.tar.xz
Files:
 e7bd12043d1064214f7a0107b6da3f17 14136236 ppl_1.2.orig.tar.xz
 1dc0b9b253f1979342bb00c8da440e2a 11940 ppl_1.2-2build4.debian.tar.xz

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

iQI3BAEBCgAhBQJaeQuSGhxzdGV2ZS5sYW5nYXNla0B1YnVudHUuY29tAAoJEFaN
MPMhshM92agQAJm01pgkrx6NCXY0KcWeQ9HdlGVCD85PHSGVfWVK0cjmPtfnEJwY
c5WJfOib2wIpMy2LvLiCuG7N9qjFcawse7s2QNYQd/GL4PmjwclfQ2vDLIRrWUnK
IEr6NoT1+fi4x34FsLOEQXidfrYIG4tQgN30u1ZOPMSto9ImagOsqSww0d8cNwkL
HKVlxhegqyEvMZ+8K3PNhuPiwV/GWwNkcjLMyys4AEMh/D2O7zPNd3Y4HP1DdQID
YDoEgr1CFsKVkdi/yEoHtSm/FLFXcZG5aGa4XWS5N93OjxsqYe5J6YpZIeFVBDAh
C5CddQw5inIYi/2Ob2H9OttzCawJrLV5PmEkQ6lQn1DXGeH7lvu/79LedFh1rt6A
Si3P9i+D0c4+SltMjCvwtgyM71KBhMr3JzsbCv88XYHgUAqJSzf7GxbLGCJeC5IH
xbJ76BKXBpWXxZFAhk5AkRdckY2ud5obw6tLxxUTwaPjEIOXsp7+Dke0/mT1QR0N
kONUl6o5qHSbHEU68X/5ehZdp8FSDwrSk3regkMrc1cF+raXsXDV9KhtV1aTUyk1
yjOv2oIvj8neDeYRbm5aCynuPsGxHnigp97K97Wrs3LyiwSWJZ5G38uwf3dsk8SN
si7GbTWRnbBCZKSBAkfaCxON79tEHmVUUs7fe/b/elrd267hN5jQ+pRy
=2DZu
-----END PGP SIGNATURE-----