-----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-8
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
 4e1554de235283f9de0213282155e5f212afe6fe 12392 ppl_1.2-8.debian.tar.xz
Checksums-Sha256:
 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz
 8cf4ab2ad5ee6df767637bab44a7887847e2cbc48d5fb7ee8eaa4aab10aeb21a 12392 ppl_1.2-8.debian.tar.xz
Files:
 e7bd12043d1064214f7a0107b6da3f17 14136236 ppl_1.2.orig.tar.xz
 3498c498d0587ce37fcbc96360eff4ac 12392 ppl_1.2-8.debian.tar.xz

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

iQIzBAEBCAAdFiEEoH46ol3M2u2mYo0kjIIWnY7OzSoFAl5gAWsACgkQjIIWnY7O
zSplKxAAijLJG72s8JgNeru2MpWHcr+ribTE7h9zAiW54lVTjt+iY96P78nwRNEw
Uv1Z7ttrEHdp8/KMV9FrGDIhEdoai1+zTEgCBvnu622frQZBoaA4Gs2ZYRaqg566
RT/gaOOjhM558Wr1QX+MyMiphIXUYfhEuLhG+DZ11yN21a2oX8JNqgFIXhm3yc8b
Y/iJWt9NKTIPwwMf6NlBynhlxFasljz0fF7asdJWm1aKo0HzzQN2AWlXLBAkEoOR
JB8q8ray0y0JPTKcfkXovyw68Ob3aGOYrJ337y0HeSoiesQqeN95z5j6+GiePfhX
YY30NLRQgbGlPiKeZcbQsKc9/4FPUhdTpIfCExokQ+M2WRMVurS2NCQ2OMRG7AH+
tW0e6TKczRVHCpEZkPxsu4QyNZglpvWO/vXwPZmnhLaslZPOux7sNspxtceV0sGQ
K4KAwmtEih1OpVRi/aAHj5wKLP1Dw4Z2L/8Ea4zT9Q7pGBgY669IpnHUp4NbyJf2
xAMoErUABilZkt5jrTWs5NNObwooDHB+qbdxwW+P/gGHtrM7u9HpAzddtS68+I0p
JgsK3i7vBMlJaLLCC7lAavzuyYTLmF1dtEkP6wJQDvidm4EXipJD3Tc9287nt7Je
RvclDlKiUPDgdpT/h/PbPvxvW368CbwZD8oPB6MiGsjzlr2AbUQ=
=y2dE
-----END PGP SIGNATURE-----