-----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.1build2 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 fac02afbe99f3f9251dda99d8057520817d20b64 13628 ppl_1.2-8.1build2.debian.tar.xz Checksums-Sha256: 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz a65479c585757683b6448d889c9f8de1aa0403ecf35199f8ba4fd065874305db 13628 ppl_1.2-8.1build2.debian.tar.xz Files: e7bd12043d1064214f7a0107b6da3f17 14136236 ppl_1.2.orig.tar.xz 3178a2d0ce97730c2bdba843d43355f1 13628 ppl_1.2-8.1build2.debian.tar.xz Original-Maintainer: Debian Science Team -----BEGIN PGP SIGNATURE----- iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmQkXocaHHN0ZXZlLmxh bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz1BPg//Qq3+GDKEfHTDoi9NQsoM 8b5vt1nDBDLKO2PxNrPEi3Cfr7RrrXNKYQfEGbEgHPMn6wfcNqEqOhENUFGKGczL gNNns6mmfzOHaxcmgsvlZHroH0K4rH5pCn/hlNpya3L0LThhrJ8L4wk7AoT1g4ug bwgy3wJuqarhn9cd5oS0g7owqi9KLJZJowb6kJv7nZrUfRR0ucoafo0QZ71Wnjpj 2LxElwl2mzv9SjSBi7FWbtLKMAcRJlKA2ODQ4qd+88oibNuwG3wFaG46LeT1F4Fr 2wBwGetg69H3ChCrCM7hbGQbrVAgwUWn5r49wLYS6iIXFWLyFkV/3gTSKDjmSGQR s+qtHh+cK1A8ukRtOXnZUzHXC1fu+URGxePz6O5+StFI/NaComK1gOmLZMr9hVZF 5I4q2C9K4fOV44MKf23sMyPPQ/lhK8rl8demM6fO7TXVrSNRDl/hicabuPoYxas9 i5kq2HLF0giuTS90EWSbXNJ6OmDR1UQjaOryaKKC9sW3DisqMY66RBH3zwNf4IXA 9lSnin8ZiERt6HnKR3fUMbnkeOqlx0TTpMUe3MxbZ+d7WiqNDHCUCsOwEgW2abuE vpy8cYVI4RpwLf2QGfU0APTfq/h2iFy/qyTsQhLpVHvKJqBNILKRWPnaR2OK3Awl OOfcmEFI0LSAPJxrzig9Ixw= =yYe+ -----END PGP SIGNATURE-----