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

Format: 3.0 (quilt)
Source: curry-tools
Binary: curry-tools-source
Architecture: all
Version: 1.0.1+dfsg1-3
Maintainer: Debian Curry Maintainers <pkg-curry-maintainers@lists.alioth.debian.org>
Uploaders:  Mike Gabriel <sunweaver@debian.org>, Michael Hanus <mh@informatik.uni-kiel.de>,
Homepage: https://git.ps.informatik.uni-kiel.de/curry/curry-tools
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/git/pkg-curry/curry-tools.git
Vcs-Git: https://anonscm.debian.org/git/pkg-curry/curry-tools.git
Build-Depends: cdbs, debhelper (>= 9), tar (>= 1.28)
Package-List:
 curry-tools-source deb devel optional arch=all
Checksums-Sha1:
 c75a37fcd7c56a48e520c8dda95cfb2c4ea876be 588984 curry-tools_1.0.1+dfsg1.orig.tar.xz
 780f979c269927c3048bd47e1b0bc2d6395f0ca6 17696 curry-tools_1.0.1+dfsg1-3.debian.tar.xz
Checksums-Sha256:
 9f9c5faa21244a77a9531cda1449f1d9f5054a74a8c38eba6b7232382891c32e 588984 curry-tools_1.0.1+dfsg1.orig.tar.xz
 af711e0effc3a4de6a2231030f19c7bca5f19c1c6814e4786e27ac493673b2df 17696 curry-tools_1.0.1+dfsg1-3.debian.tar.xz
Files:
 5bef09eb875158fad517225b4c9390b8 588984 curry-tools_1.0.1+dfsg1.orig.tar.xz
 6544a6b00f6b9213dc1fa45d751c3c7c 17696 curry-tools_1.0.1+dfsg1-3.debian.tar.xz

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

iQIcBAEBCAAGBQJYlD4DAAoJEJr0azAldxsx4CQP/i7Md42csvIBgBFaisNF5n8Y
aHgrSs0NTCw0xe1V7zixk/UHG6o6Fp2PdzPzvf1pu9BcUhntFkQte22so92YV5Cy
qEtMABS3HA6JUMZzIsmQ7t01aB/eNTf6VZFKeIaHEu2kn1CBIRDTa11Ai24H0bYJ
yn1nmJzZUjORY7QG0CYkrxIAEvI5mFsElN511uL9oRvHkKNIQFmrad33eAJSPijp
+uWCJ4D6WBVeNwwmYqqdVaK5+bX4giU37sbp3yDBNhK3DvFkuhM1qtLLEgDgKI8d
bk/XXvAo578RAxRRrFH2JaE5YHSayInZByRxaqVhdZnyv7vZC+GOePvQdz0aMbLf
Tb7VJiCW93+9FmqitmfMY8FUrQlBZCFTLfW4+lhS9yCKvS04rCOLyAjeDUY9kmOP
ODAoXYyB6iWlkVFKgSYvm86Cj9FCVKVVrUo7tlDRK606EJT4E6HbC5a9xhT61br6
GG9MXNQq86L5ZYs2eDAuHBcj1WOGpnxdCzm+gND6X1RvlwOziUQVvH1dtlu9oqJC
ZSdWBFs6IO49uGTvMoNKjwrkAZ7FzlG/NPH3ZtCyBT2/tmBM27pnDpmVVljL6zkC
jxxHAqNhhjmVkwSeR5dmpIZrd/diC4Db/nEslwHEgDvemwMFRr71LgfGA+/sKdDn
3f7lNL6gDS9cM79B6Dfe
=q83n
-----END PGP SIGNATURE-----