-----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-8.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: 4.5.0
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, libncurses-dev
Build-Depends-Arch: chrpath, swi-prolog [amd64 arm64 armel armhf hppa i386 ia64 mips mips64 mips64el mipsel powerpc powerpcspe ppc64 ppc64el] <!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,armel,armhf,hppa,i386,ia64,mips,mips64,mips64el,mipsel,powerpc,powerpcspe,ppc64,ppc64el profile=!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
 00c2c72c693508c9448865387befade66cd0bc4b 13492 ppl_1.2-8.1.debian.tar.xz
Checksums-Sha256:
 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz
 188375edb6a5e7938b9c6ecbd2b2c7fbad1517303bf2fa6c51016c9b78204ff9 13492 ppl_1.2-8.1.debian.tar.xz
Files:
 e7bd12043d1064214f7a0107b6da3f17 14136236 ppl_1.2.orig.tar.xz
 d72e44f999d54e2d64fb8145948396c6 13492 ppl_1.2-8.1.debian.tar.xz

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

iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAl7ooC8ACgkQiNJCh6LY
mLEXbRAAsNc+Bav/Es4oeMasX0zTQ9d7YjmQ0Lv6sCUtsbZD1shJVVW5YasBXlOs
1N3FnTP5Vse2rWzll0/s0I3Gso+sVB6D+O3S7xjaj6Ya7fAGW4cG+Xevxe54NgtL
RjzqhTLxBIsLCe5uTJ46EAgt9miVZ8MZ2oy9tjuS9BQtO7ta3OZG7/yw6+AYPBoJ
9z9PkfFkJIuIOqZBubTcLShpNh4R6gRrFPdN6BHINTZ1Vdj2m5hl0fdg4WqD6Dbo
rTIle1iXLs9Zx/Du6zRvFwnRhYIQEXPec2YPG0Adow6vJOwPwMzAr6wtYC2JsI09
oCHlK8VLWD4zuXVVRMU/MLjqAjFamxt6tQJPTDcpsD3mrFTxdrQ3OBxBqDI4Wv6v
CaryuFDtuBt4y0XTBmMSrUrNrRqmSgAO77l7/ClgKoLtT+Sc+vZA0hGD3oNXZx3z
GpVm9hDwdmJm/GMQ6BJPS2MjZx/HOXBQ4NqMBY3j7aOh4KvRf2hR9ogxGVxEFOqq
iCke2dMcTNRsINkKAji2oxDmTj+uG7na9Kvq5nAgMW9JSzONyD2ZXJd1L+3gQP1K
dn+iHee/yi16uT/zl8xH7LY0nz8MDYFmr9hCOPtOqfPovFYZ1CKTNJA7eRKnXCsZ
i4HWrRfMgLlpQ6QYyhg8r6gbcYeUGgo+/CiR0lct68bbaBSUUe8=
=X0wz
-----END PGP SIGNATURE-----