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

Format: 3.0 (quilt)
Source: curry-tools
Binary: curry-tools-source
Architecture: all
Version: 1.0.1+dfsg1-1
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)
Package-List:
 curry-tools-source deb devel optional arch=all
Checksums-Sha1:
 c75a37fcd7c56a48e520c8dda95cfb2c4ea876be 588984 curry-tools_1.0.1+dfsg1.orig.tar.xz
 71449b054084bc54b09bb79a07f872c6b11fd466 3276 curry-tools_1.0.1+dfsg1-1.debian.tar.xz
Checksums-Sha256:
 9f9c5faa21244a77a9531cda1449f1d9f5054a74a8c38eba6b7232382891c32e 588984 curry-tools_1.0.1+dfsg1.orig.tar.xz
 d2988638e283da7e7388d8c6bf3b5512915088d925aab65737459478471f24e5 3276 curry-tools_1.0.1+dfsg1-1.debian.tar.xz
Files:
 5bef09eb875158fad517225b4c9390b8 588984 curry-tools_1.0.1+dfsg1.orig.tar.xz
 5760e31fc530ee6b2e9114a992f63504 3276 curry-tools_1.0.1+dfsg1-1.debian.tar.xz

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

iQIcBAEBCAAGBQJYeOfqAAoJEJr0azAldxsxicIP/ixsJz40GsUmeEANdV59E5W2
rJx0WNeAhqu+o9v4aDuQu6INXgUm1TxsQnU7R9Ilo1OdaO5i1uRWTONmi8Ywojbn
5Q8MSNuDCqz4tDs5FlZv9Nmw+jo4oyrtAbASdk1IYswyVXCswMFmzBtwRZweESeJ
dbYnhJxY4Q8xU6KYRoiFDEzXa5SwOlEPhMDUoHuDCBrBfREcAIK/sma2ofw51Lz/
7JctboSg8vsQiVwKYeGIA0VvCL3VuRqcxtFv/1A3KSdmDiUcQ6KefzJ1MPz/GWgQ
UdrXZKaRzN1AtcqSm2JlYySXbpV6y0i15CSo+UTS7pX3pDHmQ/6mUy+ULGIrwNQ3
L4TBHVTTrkaq7D8RWVfsOW8rLzK9LImufXz/OpCy8Mt/WdTEsR3ccxgkClNakAxb
ardRBqrU6yorQwBMZwjaECqFlFC7it+cI0mhEX6v8rxZmlvXpzvuq1u30Mc1suoW
VFT3qNQjxM+vOdaqkAzmK3PICcCD4C9bJBkBejygOa5skDaL/6dpgWHy4vIE0Pki
RSGN7qyhxBWxvoWsIVSBA18WmSl9c49Ch6QbNoAGOA6voCjPdGbJpEh/8MrNH05v
CavFPqRwjvQ0ud+T7RFDSLRRKjFxR6IDqNsssNcSDP3HcPUxCixu8bI13ahjyPa+
+P9tjCpyH04qrvl2A61q
=QGDx
-----END PGP SIGNATURE-----