-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: ppl
Binary: libppl13, libppl-dev, ppl-dev, libppl-c4, libppl-doc, libppl-swi
Architecture: any all
Version: 1:1.1-3ubuntu5
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Uploaders: Michael Tautschnig <mt@debian.org>, Matthias Klose <doko@debian.org>
Homepage: http://www.cs.unipr.it/ppl/
Standards-Version: 3.9.6
Build-Depends: debhelper (>= 6.0.7~), dh-autoreconf, g++-4.7 [!ppc64el], libgmp-dev, chrpath, libncurses5-dev, libncursesw5-dev
Build-Depends-Indep: doxygen-latex, graphviz, poppler-utils, ghostscript, texlive-math-extra
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=any
 libppl13 deb libs optional arch=any
 ppl-dev deb devel optional arch=any
Checksums-Sha1:
 d24a9e95c22459b396820109c9bc195f35e60640 14734820 ppl_1.1.orig.tar.xz
 fbbc8a5e201952bf7ff0cefbdebe36830bcccc48 10916 ppl_1.1-3ubuntu5.debian.tar.xz
Checksums-Sha256:
 c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 14734820 ppl_1.1.orig.tar.xz
 89986e2351575f8fa5075bc8d38629a6d86df13d604e544a10fcf5f7f421e833 10916 ppl_1.1-3ubuntu5.debian.tar.xz
Files:
 82617a9c4e08606111ed9d2dc37ececa 14734820 ppl_1.1.orig.tar.xz
 acd7e13029d379a78126276a3b6a4f0c 10916 ppl_1.1-3ubuntu5.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJU/vaZAAoJEL1+qmB3j6b1aXkP/2OkEW34B0GhcveMNrOQkdde
SDitkqN4rU9Y1QxXTgWfr0CbDq+Dr92YccOtZhW3Jhy3BLZMF5qN3TZVih63z4CY
lvowJlSuDygh+W+cOW8xezpsB8pgGRT6BuHlGaEgmSRqDqwIATzkP4jSqnCWRhFC
qhQo76tsfSYdjyy6/gv+pBlD7o2+xNO9LZrfSb+L/TpV6D3IysjN6jP2lgxc+Z05
7ZB6sxrMBV4yOUWVTNqPFNZEWuyn6QxNbS7ASdn0U4gR9kTOsCg1Tifm7g5WaeWk
Z4Mose0IJBApQWhnOJGd7FD8XinUW4jBnxukFb0CTTgnufEkfLAmzEH9JZZAPmCm
zn7KLIIwNSsheeROVn/KzZgjjS2h5HCMJ+CesJzzcQ9SZo6hpLW4CyVhsXh0UymX
Edm3sRjrYy9bsJ/Y20S25wCOdWop8KbfkVYii6YPXFuSF61T+DCa0T1paPQeRvWN
47zaG+95XC4QINe8SdLUu3JvQwYUMnoZodm1EQXfPA8C5zwRrTaMsZ5G4JBIG/QO
7bpHm1B+Hrs8DyfN0M6yx6ErBcljs8OK+nFof1C0GlJ1JwqQOd9O7OwTifgbx18U
KYUuvYTvHrhVPKr5+AblyDnIdb65LqvABio0rRv69ulIKo9hWZqY5Ya4lijF+yd0
ZkWmUPurPHB2y35AjP/O
=/JCe
-----END PGP SIGNATURE-----