-----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.1build5
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 026f796f74513d37ea950ade9c1459e3c11a4a6c 13788 ppl_1.2-8.1build5.debian.tar.xz
Checksums-Sha256:
 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 14136236 ppl_1.2.orig.tar.xz
 596de634af57c389a48f075a377b15e96607d8a4cd80d8d809c98b5524590413 13788 ppl_1.2-8.1build5.debian.tar.xz
Files:
 e7bd12043d1064214f7a0107b6da3f17 14136236 ppl_1.2.orig.tar.xz
 36b8c2ce749739700e86bd4f17537225 13788 ppl_1.2-8.1build5.debian.tar.xz
Original-Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYJB1gaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0pyBAAhdZ9Fcn2f0siUq+Ne5df
bSe0K457IaMw7u1q2/1Vzt4X8aOyHxbyd69BLSKvK48PuUvYXeSi2JJwu51tiUEz
kBhACEvrD6cgLOsV5WxbDtNE/GapyCCLQz4i8oIIcWEYVpulBkAoYOgH5DiLKLI/
EdF0kLsI3Di5CASAU8bJbXbHXOZ1t8Um0+Hv/zPQu/rqywJbAh4aJcxR2Bk5akVC
l3h5bxgHWr8pUmflKbSO31YnolscWGMNuHHcgazT4Gl8RDL6ZoBtsjNmfJTiXaZ6
q0kq0RplPp4GtZjjwH4Gy/+hbMbmhCcfk6kecttzQhaoc63KxYn5oNTH9sv1So+2
EP1zBepCKsQmIlMPKhSK5WmeErr7Pa1ciXiLwUFIQ3UxmTkwe5RFFfy4fxaUFfiw
wydh2Hs0VtKTvLHk3VPjyz+CzBS1uie/CRmBgsKAwmFUmFzQDnAyvITW2lC0PFt5
MwUpFeRgivjnguy26jhXw5k4F4SFAapBnoQtAvwUfngHWomyeE/zvNLHbX95n4/i
MB86G7F1fw/Zn1louLFrH+ARWjK2R4A6Eniyoc8pD/F8kP8lLSF1eicdUv8ne6GV
KnxOT+sLZ5/Pvn5TepQdj3sRUayEgvZDeIpR3XDKYo2EnONuJpcPcxCdi+mHHJ0o
peH998F+9pi9f3OumeCXObw=
=SwOK
-----END PGP SIGNATURE-----
