-----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.1build3 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 1ca1ab08ddffbc95c0192a90eaf5a809d89caa9b 13680 ppl_1.2-8.1build3.debian.tar.xz Checksums-Sha256: 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz b77f36cf11581682206b63a92d1bab1e19d4bf0080132d831bc51ed7bdb48b61 13680 ppl_1.2-8.1build3.debian.tar.xz Files: e7bd12043d1064214f7a0107b6da3f17 14136236 ppl_1.2.orig.tar.xz 6bab338295d17741d8519a33600e7d65 13680 ppl_1.2-8.1build3.debian.tar.xz Original-Maintainer: Debian Science Team -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmRSUfsACgkQ808JdE6f XdncdQ//Yb8xcJh/akmSNepQI9Zj9q5aqcd8bferiFwGmtH9hgi1ck6TykYTv0YU iYkvdZwQQ8rI/bEvsFJmpT+OPwpSSP8E0fu98noNO9Mqzuesg/oKwTEBO+lcwHVs MQWsciuYD713pCIBvfHQpbFNK4GAP7KKcG6M39/fFQapy1sFy+fMKEyDeE/OxliM owLaSAyRAmD4yToa+8mlQCmOafl0adOdm+sF0mKHhetKIbeJkv2Utc4qNfA+3P/B UhJEJSzWTJrobDjYX+w/YAVciymzTc+hyLbPocyPxEkbUwz2wWHtEKm114osZNeM AXvBA9ZNcnnLhbE83NmTmj+PiqCKV/4uycjDNq3ni2fLWZXNcG53/GGPCVje8B2H UDakflKGm2KrQg6QZ84wjC1hIYXb/9ZeSFCh2PB6fyKrZ9R0x6+uneNr7X6lkG7b mkaTzBu+JGhZhOh24TxwxRoFAdiBltDWPuICh8HgEUAsknJA2g3XUB52Y3pw9oPf muY8YuvixvYndxSTyO7kavNqgkxxRtiDu5Ik1TWziakzfWWAkkI7Mdy7xpXWbuiI kWqxU5JuN0oVHshnKAXx9rPUULys/91EoW+A+CcaruMmNh3hYvgXMUV5TdzevvDC 8Mw2u18piryZuTxvsiMoOIOvEZtrflnkRbETLp1bz7xacEZiFYk= =08+U -----END PGP SIGNATURE-----