-----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+build6 Maintainer: Ubuntu Developers Uploaders: Tobias Hansen , Michael Tautschnig 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] 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 d92e9ad68cdc68b4aa8ec5d262ae85f26154963c 13872 ppl_1.2-8.1+build6.debian.tar.xz Checksums-Sha256: 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz a1403d34114901cbdfd94a09c12e886af5939bddb486d8f3bdbb3e8b0c0c3dd6 13872 ppl_1.2-8.1+build6.debian.tar.xz Files: e7bd12043d1064214f7a0107b6da3f17 14136236 ppl_1.2.orig.tar.xz fa5c15f6762d20ceae52c7ffc078564b 13872 ppl_1.2-8.1+build6.debian.tar.xz Original-Maintainer: Debian Science Team -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmioSwgACgkQr8/sjmac 4cLQxg//So3np3nnZ0YRf/QYmGSAJ3Vw6P9R5u/Kz0QFvVspB8UGOVEjrWOB2ViI pItjNlyvTSXHpqMIlqHzbrbIMuh9kzDZbKHro44BtGctjHM00dfhBOWREteWnNIE IAQTYNv6iNUNuC3FmpZvr2/a1yudJaXswfL6p5fzuj6bsijwDprgrE+uwtD8SiNm QsDK9kDzF6EEUMKHmYk79L6qhGiV10fB5B0zYNExbI42u4MuulPfyoUm/8cosuZn xvBn9uTxRi5bkfBJIZp0MoBFJ2kpgyZA997e5JYh4b4QuJBtNfSKCI40KL0hyJfu q8TN/HQEITjqBGUCfcgdJaeMaYK5dJHREQDKzBGea6uAJzSGGpLIiC6KWe/X+FZx 6uWnYBG+r1ski8do7RckkrwNJ1VCn3q+WnjYgMUQA8pk0kFOsPx7cCkyEVS5O30G 7SjxStcFRBU+X4RZlUj7kh+1dXaO+tEyHugHlXG7OlFgint57DQA0NciwFIgaUVk zp9m/ZRnIZh3+LtIZXwHDM2UG02lIfur/wn3lhy43smlfzsa+tO7SqsK9gHjjuq/ c3/XjsFwYYmPokHtncG284aXZ24YJDXJKKSbg+w26GmdCHeKPjQbvoyNJo1VXiUN tUvITy3Jxfcvgp8YQ+C7Ewv2WDG+0dg3mX0nZBO3H0oF+TIfVtE= =PrkE -----END PGP SIGNATURE-----