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

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Tue, 12 Dec 2017 19:31:54 +0100
Source: curry-tools
Binary: curry-tools-source
Architecture: source
Version: 2.0.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.0.0-1) unstable; urgency=medium
 .
   * Re-upload to unstable as is.
Checksums-Sha1:
 230f2bdc8f375649e7053b07efee0bbb13337f35 2086 curry-tools_2.0.0-1.dsc
 ff39b278d997284aa79244213a05536d44be08ce 3364 curry-tools_2.0.0-1.debian.tar.xz
 c0072207a194418f04cd8aaa78e057e41f040cb7 5948 curry-tools_2.0.0-1_source.buildinfo
Checksums-Sha256:
 67ffc1d3ef32ea6dceb503dcedccb822da749d14ac8752717af0e1641db7afb0 2086 curry-tools_2.0.0-1.dsc
 60a6eaa5850872a7c89d559dd36aed9e473a01e79dce79c87576fd660242c780 3364 curry-tools_2.0.0-1.debian.tar.xz
 9b2a0cc1e06209fddc0ec6019d45cc5641c35d0b082c98307ae4a44abab0c520 5948 curry-tools_2.0.0-1_source.buildinfo
Files:
 2401fd07274f4b3c8daba7523cbcd82b 2086 devel optional curry-tools_2.0.0-1.dsc
 068bf4f4638bdea6383ab368ac1843a0 3364 devel optional curry-tools_2.0.0-1.debian.tar.xz
 605f45036d9879ae8e53730ee037e0c6 5948 devel optional curry-tools_2.0.0-1_source.buildinfo

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

iQJJBAEBCAAzFiEEm/uu6GwKpf+/IgeCmvRrMCV3GzEFAlowIK8VHHN1bndlYXZl
ckBkZWJpYW4ub3JnAAoJEJr0azAldxsxpY8P/jOYGqBNhMIU1Zevz5GxVYJIzFGc
Dwi5MxK19mjDVVH8itCFTc7dwkUlYMCc1GqeK6/eGGDDNAF30SWRzxUNMEmxszHT
3etrBB0mA7OcNyGThNk8Y9uZpR/0MqVlrbAnompbetymC/RHy92/84g+jZ6HZlE6
52rxwK+LtEvL3+HS3h/SjTQ9RSdxbt0puFC0G11+YIh8u6MI8+XEgwe1ohAwcwyH
AdyOk5046VgXCj83hHlRrm1rJYhsu4TVNRyIxkXZSvg1tE0E5eSEFw+lBtlTZNsw
plS48RlRpUzRTbDpUe70BoctTHMxbpBIeEJb8VhptZs+MFRfKtIXglHXwfLTtT2C
bY+Z7/fc7F4zPsTv7L1O7mtjQMa0irw24OLIoYgSmekcaAJDwoKyZo+8H2y3EidH
H4LgxFpn4wbwLMYhVBU6Vc7ntSMUGsC56RJO0a97iOLzW1RZQZn2Dygr9AZdYAwj
3pzqua+kZjk8de4EevgSDWfD8vmhsj+QaMRWFW0oAcTPrzL+CsN1095EuARLuc3Q
z/P+zdmLkDbsA9utTysnWKpmSLpIaQJEHRMYQRDjICelRotrtODhWBizcafJuesW
HQm9xpvTS4B384YczLawwkGshxOqXon2HiMgv3DBJvLIGw6jsANpfuAnxazotI5u
pICzp1ygdPRJA0ZB
=84Bh
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.