[pkg-curry-maintainers] curry-tools_1.0.1+dfsg1-3_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Fri, 03 Feb 2017 09:23:19 +0100
Source: curry-tools
Binary: curry-tools-source
Architecture: source
Version: 1.0.1+dfsg1-3
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.1+dfsg1-3) unstable; urgency=medium
 .
   * debian/patches:
     + Add 0009-UTF-8-strings-replaced-in-examples-to-avoid-encoding.patch;
       avoid encoding issue in test.
     + Add 0010-Superfluous-output-of-which-command-suppressed.patch; suppress
       superfluous output of which command.
     + Add 0011-noreadline-and-REPL_OPTS-added-to-some-pakcs-calls.patch.
       Prevent from writing to user homes.
     + Comment out spicey related changes in
       0011-noreadline-and-REPL_OPTS-added-to-some-pakcs-calls.patch. Debian's
       curry-tools package does not ship spicey.
Checksums-Sha1:
 a996b391e0572e6d57ceab324d4a9a5fd04a60fb 2088 curry-tools_1.0.1+dfsg1-3.dsc
 780f979c269927c3048bd47e1b0bc2d6395f0ca6 17696 curry-tools_1.0.1+dfsg1-3.debian.tar.xz
Checksums-Sha256:
 9ab0e199eb40b92beabd186ea741913aa885586fca87fd9c105d387557738641 2088 curry-tools_1.0.1+dfsg1-3.dsc
 af711e0effc3a4de6a2231030f19c7bca5f19c1c6814e4786e27ac493673b2df 17696 curry-tools_1.0.1+dfsg1-3.debian.tar.xz
Files:
 6a41440fd2ec05f32ca9e45dedc5a523 2088 devel optional curry-tools_1.0.1+dfsg1-3.dsc
 6544a6b00f6b9213dc1fa45d751c3c7c 17696 devel optional curry-tools_1.0.1+dfsg1-3.debian.tar.xz

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

iQIcBAEBCAAGBQJYlD4FAAoJEJr0azAldxsxPvoP/RE88wYyT0ym/iAXUxDnMu7s
Ch3hPOgPqdli9kL/h73nAC35QZ/1nOPteSY0OoRZG0w0z7tkQwBgKPcS4mkwApp6
LBb2AnJ/V1d/20svHPEu8cLYEpSpjM7l+ByeFVZerp2EdU0vmAAdbAtfM3YHhymx
euSqNx9SYqCgUgCAzxS4h6/EhhBq6Ew07PwJb0KfAkwtFO55z9whFCaheKkZSUNn
bzV9EF+VsgSG1gSqGXIC2PNjWJE0C3l2qDWQtqsQFl6/UvMyXM3pj/Y8DM7i76We
pEe2vN9uTXb5MLYbyR/5cRAaMU/PCo1/Eew7JlRN+HG/iO+6XabJJYDt2MXdPqOj
kly+ap3hNXitY3S6z8RsigejrAWCgTcWKkpGkZbsBjKvKwhrwr/AhSCsCn1pH4l9
tR0fwXT2f0pIwrfYIqL4T/X9RMVO9Smj/QD4QYdarwZo2qXHPIleqsRb187jnzAT
nIwmgOX0s8RXaEvuqahL1mICqYteMsXCb/Lld8rYi52EGfoSVI3D1lwNo3UJnWVs
NuRq0S9MH0aW5rpVUaasK7yrDafJUPax7upIdHxf+wQOnmBTFcpsOT4nbUUdiMfl
rNpvoHBo95OWdICtoKaDaC/Q/bx9vzpnG+EyQmKhSuDO8Sz2GYArgqBjPo4IEeLy
T0GXEJX9TaP6mJ8PGMgX
=aucG
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.