[pkg-curry-maintainers] curry-tools_1.0.3+dfsg1-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Fri, 24 Feb 2017 12:07:36 +0100
Source: curry-tools
Binary: curry-tools-source
Architecture: source all
Version: 1.0.3+dfsg1-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 (1.0.3+dfsg1-1) unstable; urgency=medium
 .
   * New upstream release.
   * debian/patches:
     + Drop all patches recently cherry-picked from upstream. They are shipped
       in this upstream release.
     + Update/rebase 2001_drop-spicey-tool.patch.
   * debian/rules:
     + Use --clamp-mtime --mtime="$(SOURCE_DATE)" when tarring up the curry-tools
       source files. As we quilt-patch some files in the original upstream
       sources, we end up with varying mtimes in tarballs. The referenced options
       avoid those mtime variations.
   * debian/copyright:
     + Update copyright attributions.
Checksums-Sha1:
 3928f3b55d7762b3a0d34d6aa6cf784c00468de6 2085 curry-tools_1.0.3+dfsg1-1.dsc
 e8a2e066548867f3c888cf11817acf43a918fcf0 596080 curry-tools_1.0.3+dfsg1.orig.tar.xz
 7cd5b66f840dc17b89780488038fdce08aa1d294 4060 curry-tools_1.0.3+dfsg1-1.debian.tar.xz
 5a8da9bcb1aa37a420d0a6848164b5661a9e4a08 603732 curry-tools-source_1.0.3+dfsg1-1_all.deb
 dee232717115b9ceedb0ee54bd912842725a3f22 4712 curry-tools_1.0.3+dfsg1-1_amd64.buildinfo
Checksums-Sha256:
 319893b70cf438a5af2e69bf628e8ad0bdc741ffce474856369af12473776f5a 2085 curry-tools_1.0.3+dfsg1-1.dsc
 28eff9c145a8656b52744314e62d6f108964e8d79e45ebc5da74e110c03e9b3b 596080 curry-tools_1.0.3+dfsg1.orig.tar.xz
 a67dec07f94e0149d96641f63e68223a799d95d6c87a2140cd99f7a83bbf8134 4060 curry-tools_1.0.3+dfsg1-1.debian.tar.xz
 060ce233749ed59441aaecc5a97d9c5aca36a20fa3f86384b1a4a75b400f33f8 603732 curry-tools-source_1.0.3+dfsg1-1_all.deb
 9c6497b158e90c505bffd97a548a6bef8d54bb0f6cd084889707774ed94f968f 4712 curry-tools_1.0.3+dfsg1-1_amd64.buildinfo
Files:
 2aa5564a3fcc80f0c4045531ea025bab 2085 devel optional curry-tools_1.0.3+dfsg1-1.dsc
 49511713f1992f778ab3d66cda62d2e4 596080 devel optional curry-tools_1.0.3+dfsg1.orig.tar.xz
 b2bfa9da5f2c4b2a9191ebce5ea22670 4060 devel optional curry-tools_1.0.3+dfsg1-1.debian.tar.xz
 d0ddd38585824626dbc067d99d05ddbe 603732 devel optional curry-tools-source_1.0.3+dfsg1-1_all.deb
 0970856d215a01709f90c5d243461cf7 4712 devel optional curry-tools_1.0.3+dfsg1-1_amd64.buildinfo

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

iQIcBAEBCAAGBQJYsBs4AAoJEJr0azAldxsxlu8P/3PW2k4Cb0LbMcb6dLi7fA3p
W++/A74Lr6M2V+RldCtUNpauH27Drlu1PD+pY++iRD6YbpTyoWcK0vxKzwHsb7H3
cEaoizqnmPMHuQJEVnnHcV0QcrjcMkLJIcV8ukWkuRuggAqKbhZVMFHxMI0zUNM1
v03lfj1bMINcyKqPa6UZa+DNy4SNGxnX9Bj3ecUZ3ad6V51m/Lgor4pPDKeRqIIz
MgSUZdxzIlcE7nSFefSKy960LH+8lSC8bkSZOBpnEPGcVypbmivBJAbrU4HeBh4+
uEqtBxFtQkCftAyN4ifwpMgr+9G6ZTZ95O37G1smxjGytrow6KLnkFDPv8knwdNx
DTJiboa3p+E7QvydKlCvJrKfOwLUJnlFyY4XsrYewh7PJFOVlbjcA9qvw0JG+yOM
Pbd5zxGevfkPST9kunFs1iz8Jb9K8IlLxG5QqhXeCQ5OJO+kCu+4sNzfrps1TkkL
J9OTLBtoXGFRlPpg/BN++XvXaIzuxBq7toCmMwunyQtlXm8+wSACKelrWHavOW4s
q49OXc1QGTJdOKOckcv3AdMy/+4ZPxE0w0BA8InkHD6gaKVv9ceIgHGRPMUiY7Hd
j66V+fICwGeEShbW3RYkb+HaM5LbwfgnYuTHjS3JP0EbRsJ8fFQIuCGL/0Y3ZEkv
ThUFAZmXZakHywzD8e6C
=rkDY
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.