-----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-10
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Tobias Hansen <thansen@debian.org>, Michael Tautschnig <mt@debian.org>
Homepage: https://www.bugseng.com/ppl/
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/science-team/ppl
Vcs-Git: https://salsa.debian.org/science-team/ppl.git
Build-Depends: debhelper-compat (= 13), libgmp-dev, libncurses-dev
Build-Depends-Arch: chrpath, swi-prolog [amd64 arm64 armhf i386 loong64 ppc64 ppc64el riscv64 s390x] <!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,armhf,i386,loong64,ppc64,ppc64el,riscv64,s390x profile=!pkg.ppl.no-swi-prolog profile:v1=!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
 1e879ed35f7cc916422b5a9733513f9984b4175e 15096 ppl_1.2-10.debian.tar.xz
Checksums-Sha256:
 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz
 7f79c035dc6707b5eedcbd6642ef4b148c9af4fa56c2093ae1fc1996d5106f3c 15096 ppl_1.2-10.debian.tar.xz
Files:
 e7bd12043d1064214f7a0107b6da3f17 14136236 ppl_1.2.orig.tar.xz
 a05a3efcb246d8f2528aa7f8e2a86c40 15096 ppl_1.2-10.debian.tar.xz

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

iQIzBAEBCgAdFiEEoH46ol3M2u2mYo0kjIIWnY7OzSoFAmrVMyUACgkQjIIWnY7O
zSo9mg//fHVnmc/iecMUbb7TW+sm7NqbwIaYipsB+KryMsBrnI7xYBDCoj02ZKoc
rY/N8YmN4sIr3tUTjm97SM+befL406QYD11MCFv8Gi5GZv9wghFzpFKgtbbnbkYq
fIo0k5kB+SbRXk2niBJSKd2/xZHe4OTuRDw5PwTIF3bqY13Lg3kSLGk7Pjpni8Rv
QVlOv899WifACRpDKi6Y2XZFUmh4/ngJ/FQVsFGRyun3JhgUJyOPLYrxypO6jUSH
IFc0yR5n7luIGVZ97aYixCtAXyinPrAHS4F7LsSDpBfu1sKB06xvgkC7mDhI1+Q8
EhxqFaeM7IwOk3Vwyv4+tr5jLoRrCYFWVNkvdB4gAOawTxyr68nesSK8omhOJbw9
IFBRM/GpO24BYfeAK4Tgol1/R6EM3ZbD7aBsvqWgcQnfiW6zn750m35evLgGr24Y
r0rati8vRHIsXjEkDi2HZSByB57BUB7R3dZQcZTOzcVMwV1EtKa5QYi8T9VEJUh5
h8SLXuBZbkIec2Q18ke+yMOBI9AH/3YZBHIK58feoX7oLfokhQU4YvBfEJY+1jcW
clZr39gWpcxWbpAaH7MiHfdEuiSMDat+mBbGMSzf34qbb0VR0ktaE6ySSIwGQ85Y
7GFzdOSAmGjFAmkpo4IXBpkTEaw0PByJXH0OTSstRwbY+dmjVpk=
=hmUj
-----END PGP SIGNATURE-----