[pkg-curry-maintainers] curry-tools_1.0.3+dfsg1-2_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Sun, 17 Sep 2017 19:27:49 +0200
Source: curry-tools
Binary: curry-tools-source
Architecture: source
Version: 1.0.3+dfsg1-2
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-2) unstable; urgency=medium
 .
   * debian/watch:
     + Update to new tarball naming scheme in recent GitLab versions.
   * debian/control:
     + Bump Standards-Version: to 4.1.0. No changes needed.
Checksums-Sha1:
 f256b91473d559a438a9bf5b69b33068142fd58b 2128 curry-tools_1.0.3+dfsg1-2.dsc
 b815ad2d3162223a1cb04292ad4b9dee58d85c19 4148 curry-tools_1.0.3+dfsg1-2.debian.tar.xz
 c9b8312710ed4bafc82342816d9f32ff3a8f2784 5919 curry-tools_1.0.3+dfsg1-2_source.buildinfo
Checksums-Sha256:
 f42837b2ba4a7806f1aae50c73903cd6b250654d81a47decb918dac9eceb536a 2128 curry-tools_1.0.3+dfsg1-2.dsc
 2cba10110e263d1a1a0cfa2b5e0fcfa80d61cadbd5bc5f5cca8f9613293ae7cd 4148 curry-tools_1.0.3+dfsg1-2.debian.tar.xz
 32b10dccc707554a3bae2fd13749c0aa04ce6e57caead0952cf8b67079692f32 5919 curry-tools_1.0.3+dfsg1-2_source.buildinfo
Files:
 e3cc07cebdbcbfe8b724e6a5f2fadc99 2128 devel optional curry-tools_1.0.3+dfsg1-2.dsc
 74ef5f2a47740dc3586dae927a8af0eb 4148 devel optional curry-tools_1.0.3+dfsg1-2.debian.tar.xz
 14599fb58f4d03fc8584f34cc1196c59 5919 devel optional curry-tools_1.0.3+dfsg1-2_source.buildinfo

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

iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAlm+sKcVHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxPgsP/2p3xUWDA8Xdzcj8L6AAdYrKt4oy
agLcVuuA/eNofis1Gh3R04+CP8AJqFhaJsqRJD0z/fBr2LC0SwNEIamtfkEsybuD
0IAST2NK4fH7+6mta0TxuH0gsVbb3N8FlPD96Z/sACcDWp/cAIWzcovylIfge4sJ
BPVCf4k7vcJ+NT6a98N2Zsuw3BiPMXtX6icw8Pyjg3z/9CwMwKmsJ8BwKYhA1zBc
EhnfbywcjbIPx6Na0VFEXeYUzH3R6+MDVBdO6XC/SSwFsovWFbeXK+7MvJ3/62Xv
Kor+IIFgk0acCyXotYmbQMRe3w6CFw/uij+DJnQxa6MGjyP+rFM8b+ZD1iunp6HQ
AgW7rDcV6gJAQNeYbg9ProdIr6rAc8vhtdIC26glvy2EzXvz4mpLzCwndZCfHSmg
lP+C+uNDieUWTIa6FejGHLWhQsEKYA0wVxc1Bv7+Vkz9ArDn9OENP7rlGKsVzyJs
y/3tNZZxiAbuF/Id//7F07UPkbpfRfOgY4SWZ6tIWDrBzw8rUW0TvafCL5bzHg9l
ZHcYt7y7rvjK5FmGtl5qQopC++YWXSuwuU5f36bNLgdtPYlO8CUFYITlEBSCeL+k
+zhOtIHCw2ulyTy4qtydGRspkB8SGETKrCadf7JeWm+4hWLmiZ95PPYMBz4H3CRv
klAgCcP3fXGngEAl
=G57J
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.