[pkg-curry-maintainers] curry-tools_2.1.0-1_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Thu, 31 Jan 2019 13:19:23 +0100
Source: curry-tools
Binary: curry-tools-source
Architecture: source
Version: 2.1.0-1
Distribution: unstable
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.1.0-1) unstable; urgency=medium
 .
   * New upstream release.
   * debian/control:
     + Bump Standards-Version: to 4.3.0. No changes needed.
     + Update versioned B for pakcs (to << 2.1.0~).
Checksums-Sha1:
 b6f74b420781401b09e633111ec47b70c43d0359 2082 curry-tools_2.1.0-1.dsc
 06d6e9bd326fad22c462524ba5affd3c9e9258ef 534817 curry-tools_2.1.0.orig.tar.gz
 f96f0910ae4e2f16d23016690c694fda221eaa7c 3828 curry-tools_2.1.0-1.debian.tar.xz
 a3f5c9e756eaaece6595dae2e9b7cac76a1796f4 6215 curry-tools_2.1.0-1_source.buildinfo
Checksums-Sha256:
 91d8fdbd6083280525161014b1686394037dd944eaad05f28a1881c1f8644328 2082 curry-tools_2.1.0-1.dsc
 e0a4da8fbcafe0dc89231a4e707795db4787ba61268744fb3ae5349bd0b2269e 534817 curry-tools_2.1.0.orig.tar.gz
 7537f4bd51fe69d7861093656c442b219ba2c75e201b989d95fce672286ab8a9 3828 curry-tools_2.1.0-1.debian.tar.xz
 a18813b53501289e41759b1dd94f2de83764a9d9a8d09308d3967738dc18eb7d 6215 curry-tools_2.1.0-1_source.buildinfo
Files:
 97a8d2db86d6ccf379909fc9bbcbbd91 2082 devel optional curry-tools_2.1.0-1.dsc
 dc301caf69b2b7c4f4952c114129f31e 534817 devel optional curry-tools_2.1.0.orig.tar.gz
 a60e77c9d93c323eef2814fab5899faf 3828 devel optional curry-tools_2.1.0-1.debian.tar.xz
 e143be1f3b28bc8daef967e63ea6c018 6215 devel optional curry-tools_2.1.0-1_source.buildinfo

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

iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAlxS6F4VHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxqSoQALv2RM5aIkGVEmS/0OO84zrs3xUB
p9XBXCxtE6eanWNQQfe/0KFAK06+VER+VwKaeKWlrO3tPA5ehkRJ1WnmhmTR4Nrx
3tSVooyXo4CEIqGBZqas82lr52LgBv7jyOyFhY4f/QK0H6RwyRz7vJmArbOMFII7
kAYhRvFjnJxoOQjmpwk8ybEnCu5pXIR+O59JewQk0qKZ/gQm7/NDw6YlfmhNNKd2
7VG5QbQqV0x43gf3pI5HHg9j0RERRluLx+mtPnYgvEbBelZ7aPVOKNW9Y68WGqSn
Cf2ZT/+GYFSF9Yj4oNbIuwlj1pfW2oNx/nihGM5tgFaqOLBwqgcjawT9o4LbtAMI
vdHiFst/fwMgW3Y2QoTWQoZgvoZckgze+2xwmIBrVrwZcb75VKAFYEKkHKVWH6vk
R5r0sgdtciEylouJPFjnGGFaowD2HCWIuWKuaOpaXJZSwVV8PDfCfqtHtEo4tW7x
85KXfdRLeB3IjvzJGkg/GVLrz5/yZko2IJ9YfjYAgN22IHkaNhiHxFy/ua9rh6JT
mpXD50B1EZGr4FPMdG1iYf+hoJJgWeOwITgORZszJEKuW9PhSJDRWbD0JPtmF5Ot
gZouYNnuhWkHrYUIbQMBSdi1Dn43kiTe1FzQ5XTYTYbNWDSNCZgqBvu6+kSW0L2O
lya1fJafZJSmHBDk
=nqI+
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.