Accepted curry-tools 1.0.1+dfsg1-1 (source) into unstable

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

Format: 1.8
Date: Fri, 13 Jan 2017 09:57:08 +0100
Source: curry-tools
Binary: curry-tools-source
Architecture: source
Version: 1.0.1+dfsg1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Curry Maintainers <pkg-curry-maintainers@lists.alioth.debian.org>
Changed-By: Mike Gabriel <sunweaver@debian.org>
Description:
 curry-tools-source - Tools that are used by different Curry systems, like PAKCS or KiC
Changes:
 curry-tools (1.0.1+dfsg1-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 fd517330729e19424e90216fff8242a49dcf621c 2070 curry-tools_1.0.1+dfsg1-1.dsc
 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:
 0e575710921a629b94f792ae850e45955bc2e31414e870b8215977ad3b7e899f 2070 curry-tools_1.0.1+dfsg1-1.dsc
 9f9c5faa21244a77a9531cda1449f1d9f5054a74a8c38eba6b7232382891c32e 588984 curry-tools_1.0.1+dfsg1.orig.tar.xz
 d2988638e283da7e7388d8c6bf3b5512915088d925aab65737459478471f24e5 3276 curry-tools_1.0.1+dfsg1-1.debian.tar.xz
Files:
 a74eef9d32527144835975410189e008 2070 devel optional curry-tools_1.0.1+dfsg1-1.dsc
 5bef09eb875158fad517225b4c9390b8 588984 devel optional curry-tools_1.0.1+dfsg1.orig.tar.xz
 5760e31fc530ee6b2e9114a992f63504 3276 devel optional curry-tools_1.0.1+dfsg1-1.debian.tar.xz

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

iQIcBAEBCAAGBQJYeOfsAAoJEJr0azAldxsxLMoQAIxVzLaG4EuPryHVPowZQVyt
MgxJeIA1piR1h2Jpq2ExggPqsjKo5dMcVQlvUqzbl9EzCplO+mRxLbvecDVgBaQz
vgJmQ2+zkHzy8u4pIxaKREoRwRMHecgZBrk9NLQt259YtKSwT4I3rcS204fJK1BP
+dyFtQahm3SWyeEW57kT8j+A3fFirR1Xfj2luryscvqM7iHlCtgI2kkMAmXVP/+y
+ioBulGidmFMI/qe3LmB0LvZl98styMXah/g3pH0f7cPScKV8FqUsFE9aDFJrW68
Kxh2rBIQuu+jP38r7FrTeh+wUgUk16uhgYqnGcxVX3KWaXrgpBXMMSNO+7gTeI7o
Vk3hkWjblpzgetXbWbIWPzLLR21NyOcMlfYLDizOqLiCPn4DuxJapXU8evMGu3p+
voxBmWFqWQuampbodSSb24LJzGsVoe/b6QFWZRs4TDQd7/0pHiUkVTfC9C7L+tKJ
cEIAdvcAhUr1YsbWouPKVp3ZNVvotxKaQI9cG0HIGJ7ni8urunUT4Ml+DFMVDUJQ
jGPObH9zt5s6VTJdOG+9tZdJZH+fjSTbYdP0KeAorRlEQewAHjnJxtk36mwC9CU5
/eXyFtn8YvFBBgehd5hz4FZeQlrGAmH6tvQ/BA7VNBIhSwlAbCCXaRP6iKWOoyZ4
r4QwHMMfYPdfpmxvh8IT
=sth/
-----END PGP SIGNATURE-----