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

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Fri, 09 Feb 2018 12:11:06 +0100
Source: curry-tools
Binary: curry-tools-source
Architecture: source
Version: 2.0.1-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.0.1-1) unstable; urgency=medium
 .
   * New upstream release.
   * debian/control:
     + Bump Standards-Version: to 4.1.3. No changes needed.
     + Add B (curry-tools-source): pakcs (<< 2.0.1~).
   * debian/{control,compat}:
     + Bump to DH version level 10 (level 11 not yet supported by CDBS).
Checksums-Sha1:
 ccb35a5d57766ccc13ea350086e24d04fbd0bfd1 2088 curry-tools_2.0.1-1.dsc
 8f1cb2a798e6e4c0e704a21958e0bbf9f79bd9e5 425094 curry-tools_2.0.1.orig.tar.gz
 ba1595238edba10523b532f0056b3ff617d45cda 3464 curry-tools_2.0.1-1.debian.tar.xz
 73af97f896f8e4dcb5164a5c599bc3b0a4827c7b 5972 curry-tools_2.0.1-1_source.buildinfo
Checksums-Sha256:
 eada130bac98ae2de28945f5ee7cb166f48e42d248143e5e5ed127aef7a6b0db 2088 curry-tools_2.0.1-1.dsc
 420787b4b02a06a9aaaa6b5e5971e86a31dd3d459c54d2d8ee2d36a4b8eb3fdc 425094 curry-tools_2.0.1.orig.tar.gz
 4ca1a98138ef7b436d62e8b63ce6b0d7ad49ebd19e792cf8588040ad427691e2 3464 curry-tools_2.0.1-1.debian.tar.xz
 ba652c49ba36f7bc1b722926277ed9b5c917746714daa15b59e2c071b541715d 5972 curry-tools_2.0.1-1_source.buildinfo
Files:
 76c6edd7665f9bbfc8f787293e64c638 2088 devel optional curry-tools_2.0.1-1.dsc
 9c9e59a605677ca6751e40c4c0c580e8 425094 devel optional curry-tools_2.0.1.orig.tar.gz
 01f3f6458bc51f146ccbfb62180ef7fd 3464 devel optional curry-tools_2.0.1-1.debian.tar.xz
 36461c3d46459b5070c19a15cdf864fa 5972 devel optional curry-tools_2.0.1-1_source.buildinfo

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

iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAlp9gkkVHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxN8UP/0IGsCcvk06PVAMMfOEWdcr4o3zW
BYWEIvlaNqLmKG0G77RorWR8PmHKpdUEylqZ+P24WNnXPrisV/B5OIRZoGcGnuji
5VVlViKhaLYREJ3NzR6vf9vhIT3sHRISAYVP0P6NUjiGNptpM23Yt+8GQjGgeNx5
soyh1WJ7y4IqrFuTUtUb53n0tgHCg0pMNhD08e11tOdU8twtBX9hjJwRJmH4bYba
mey/dJTbt8DKNV2thNvSN4Xi94uvWe+s7KBCbI1v2Xeq2hX40HkTAF5Ir9tzWvZ2
b7s9DAavHNezKf3Gp4mHxRCFtXcCByQCzReDSTqt3cFvgdzW5s3/Mucpfz6vrQoM
iAycAciyCrpeoelIlZbQMKnlywD1XvL6sQbC3uaDs3htJJU3P0xOX6zZtO3LD/+z
dH9g8pn1jr0G8oAoUZUwGRhi6bTRpTjmCNVernNSqaFEbGc8E+pPewgpQ8w3mxnK
LYshA+FEmJQA2ow314dhCGaXCXD9AfPpnSqnmPhq8UlZ8CrFMfEMvWISFhNmkMSb
bjdxra5B0lbdXWPPG0kCZmZ9XkFIPPV5RfomqyJiuxTxUvmPoUelwpzTJ1bSRG3Z
rNuve+TmpuQOeuhO9okOTXz9TyMpJkq+aMTJAifsaIw3la7/CfX3rf4LTrxs5XVH
kZeWLfPCJLSWPrkD
=iXDL
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.