-----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-7
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.3.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
 06cfd13275bfb7f97fdafe8f4eab4994b15c664e 12068 ppl_1.2-7.debian.tar.xz
Checksums-Sha256:
 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz
 11c13875a735f1a764b26c1cd7fa0ee869315ee59e478317577a50c9cfac8d41 12068 ppl_1.2-7.debian.tar.xz
Files:
 e7bd12043d1064214f7a0107b6da3f17 14136236 ppl_1.2.orig.tar.xz
 5b572a6cedc425c4a9119f46c7a24151 12068 ppl_1.2-7.debian.tar.xz

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

iQIzBAEBCgAdFiEEj1g0K+q+HvQ3lVH7sZN3DBhqHH0FAlxEtJcACgkQsZN3DBhq
HH2zDg//Z3JP5u6g/bheEjsiWV1Yhpu0fbRwVa0ypYsxJIBb0R0SXcPBIL510gKt
WvDuMrl3pIagIKx+tRkU8fcW5+wnUTQ2KrNon+6yAf4f/CsKnYIxVNk5qhJ31mHr
TLycXP18U0+Z7o3iWEcXdsQQhPTwHPABrjDr8vl5Bd76jvQdywZ6UMMtKd3WtE4d
+iXuoRAjWblgtjDm9IAXVcXS+JEwQN1TrOBxfEAgifzB9ygW/UvWyj/uznJwuvCK
ZOK5EB/FsEupfk6om+B7Zpv1YpiK3V9T2+dLXQDlZtSUJBF0GRgKbLYZT0X5jat/
LIaNYFANaILj/4gHG5tRBsCjwbrh4oHjIhtjWz9q94upsw8t1EwY0rMVn+nBrIcl
hOw3C9ReswzUz7m0Pvyoz0dsontWlBU3qhsdG9daDfA9OWz6F9GZSxmwc9LnTiR4
eX83XuyCpRZpWWcqGksgVi5aoyKKucFSQ4bomuwRWKpKCNM94iPW1mOyFq9zbfAb
e8lLJWwhSg9x5xgNgwI4XSnE2W/6mort7p/GpFgkgu6WxwWkOmNm5MByc1ni7Wdo
e1pvmLhrwMZDYngGWP7EFK573ZcA7drih+WYtE7d57AFYgo2zb39fSczhKWSKIBt
XJPjI+CgucPVdmNYNhj3qNMMGKIc3UTS+v/pSMwi/evYH967Ec8=
=gCVq
-----END PGP SIGNATURE-----