[pkg-curry-maintainers] curry-tools_2.0.0-1~exp1_source.changes ACCEPTED into experimental

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Fri, 08 Dec 2017 12:33:47 +0100
Source: curry-tools
Binary: curry-tools-source
Architecture: source
Version: 2.0.0-1~exp1
Distribution: experimental
Urgency: medium
Maintainer: Debian Curry Maintainers <pkg-curry-maintainers at lists.alioth.debian.org>
Changed-By: Mike Gabriel <sunweaver at debian.org>
Description:
 curry-tools-source - Tools that are used by different Curry systems, like PAKCS or KiC
Changes:
 curry-tools (2.0.0-1~exp1) experimental; urgency=medium
 .
   * New upstream release.
   * debian/{rules,watch}:
     + Drop orig tarball repacking logic. The recent version of curry-tools does
       not need repacking anymore.
   * debian/patches:
     + Drop 2001_drop-spicey-tool.patch. Spicey tool is not shipped with this
       upstream version anymore.
   * debian/control:
     + Bump Standards-Version: to 4.1.1. No changes needed.
Checksums-Sha1:
 9ac502dc1509ecb07e29261e249a4e717abb5cfb 2106 curry-tools_2.0.0-1~exp1.dsc
 f92def3c7212d041194722f88c39ea6a4ef26776 422010 curry-tools_2.0.0.orig.tar.gz
 6bc97408c9a93380b79130e61c8e393e13074f84 3332 curry-tools_2.0.0-1~exp1.debian.tar.xz
 7cdf3f0862137f8f84e11db0949f8ec37381a79a 5968 curry-tools_2.0.0-1~exp1_source.buildinfo
Checksums-Sha256:
 260767522aa8a120e941ff24c3bf2f3a6db577c56b5c55a7d92a09c5809546a4 2106 curry-tools_2.0.0-1~exp1.dsc
 ebd0464e48602c1aa2fa8e917c998e0f77537b17b75ccf1050b794eb68c0939f 422010 curry-tools_2.0.0.orig.tar.gz
 dc5327c3274d83a3a8c534cc92103205bb1b18cefb0e19bc14f4a63ba8ac1949 3332 curry-tools_2.0.0-1~exp1.debian.tar.xz
 dea437e095a1482334f07aa20d8bde43bd095d05653a56cc7f85e3b17ff27f88 5968 curry-tools_2.0.0-1~exp1_source.buildinfo
Files:
 32a64eba6013fcf560e907a55a2b84c3 2106 devel optional curry-tools_2.0.0-1~exp1.dsc
 4ecf3846655ed7f62f439e4ca0d8a821 422010 devel optional curry-tools_2.0.0.orig.tar.gz
 f8584a8c40867929c00c7a66a028530b 3332 devel optional curry-tools_2.0.0-1~exp1.debian.tar.xz
 fbe9d13505d2482a64010c9626838a1a 5968 devel optional curry-tools_2.0.0-1~exp1_source.buildinfo

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

iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAloqejQVHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxJp0P/3ZOivwQ5fDmP1dKKMH0PJTgSDIX
hQkeErD9e0VF6DEXJF9JhXFJCuweCTMAU6NpNTSUlmKU/7DH+n7t7OyGXiVoxErB
cXHKvCI99VmwxmrGOP0k4GccYUa0FXbY5h9Q4+LixfRMigCZWc8J4V/o6sZLL4EC
1SoeV3/n2vaK1FWPrOiumP/TbrD4POmymUtZFEu27W8mjv5epNmTPERw9euSwWls
gmMsHCw1bZbkhHzEW2RNFVTVNeF0rvkuPlSY5jY083ebvYE3CFkDYt3x20D5x5a3
6hJDd+3ve7walbyKfvuo9mp06mo3P40m+laFL4XhSFbPSKOLm0vXKFaBpnR/FXcd
ZQUsaPskUgsv4yEqUNEdMeg/ONtCK9m/jGbrhrxJDE8+g6/UlFasLjf6Tr4E7MMh
5cW2WeVcRW10MqKZyUlxhbONjIX/SFgWGgML4g/mj+htgeB1eF6aHqSyQfHNIsaN
2arjXlwxcBJ+TQL8faN2fkFuMG5H4PMaWkbNMXfCGuM9cXxKW8Flxi960nYg8Z1j
cCwsIsrgaDwHW3RhqDYuyliQqG3Sdw17ffOY8B9UwDSgEmwRsxQ68GDH6MAcAeY4
D/Gen6gadVBayoAJ5Pnq+qiigcV9QHQw4NdDsRU1ZzDfY0cQRGFmOBG2f/8n+LTc
3XcSb+3U2UzE5NfP
=kkj/
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.