-----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@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.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-----
