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

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Tue, 31 Jan 2017 10:28:53 +0100
Source: curry-tools
Binary: curry-tools-source
Architecture: source
Version: 1.0.1+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.1+dfsg1-2) unstable; urgency=medium
 .
   * debian/rules:
     + Use tar --sort=name and --mode= option to make tarring reproducible.
   * debian/control:
     + Versioned B-D on tar (>= 1.28).
   * debian/patches: Cherry-pick recent work from upstream.
      +0001-New-analyses-for-termination-and-productivity-of-ope.patch
      +0002-Root-replacement-analysis-corrected-w.r.t.-projectio.patch
      +0003-Productivity-analysis-updated.patch
      +0004-Productivity-analysis-improved.patch
      +0005-Productivity-analysis-slightly-improved-analysis-doc.patch
      +0006-Analysis-documentation-updated.patch
      +0007-Makefiles-changed-so-that-runtest-considers-variable.patch
      +0008-Checking-for-existence-of-sqlite3-binary-added.patch
Checksums-Sha1:
 2cf4dce510b0628252552e597a921e1812e4d92e 2088 curry-tools_1.0.1+dfsg1-2.dsc
 7879fe52cf1a0b71295546f7ef0e7b9c2cdf027b 15040 curry-tools_1.0.1+dfsg1-2.debian.tar.xz
Checksums-Sha256:
 4fc72fedf3a6ebe218429f1c318a3d77eec5f15938bce77eba2018fb5da2fae1 2088 curry-tools_1.0.1+dfsg1-2.dsc
 133e0ec21b54a956f5b80b6cf0d54bba4d6f0cc2dbda741736ae7c8dce39ff13 15040 curry-tools_1.0.1+dfsg1-2.debian.tar.xz
Files:
 9c38940bbd85206d3b0e41c3843146bc 2088 devel optional curry-tools_1.0.1+dfsg1-2.dsc
 f7b21ab50d2805b949a5bca1d08958a3 15040 devel optional curry-tools_1.0.1+dfsg1-2.debian.tar.xz

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

iQIcBAEBCAAGBQJYkFkiAAoJEJr0azAldxsx4bkP/AkvaC1ckrNsbdhJptMLJaST
0nhunsuzNhHVMcrEmZQ44bC9iRsottDTBHguRUATnCvO1YEJl7fu0cYJ0TUTyUp9
KudrBhvgKDJOBV+MqaaUtIZFttsGzsDqThzCeYxzed8mlZmzS3PqC0sPDeGPLF6h
6Y6y6tCO0aXqr4PZqyiORFDeHAtY7V3ZtuUrnsZUTS6Jf7Qp70QVRb7FotumNPjp
5hTlwFs9b2Fl/ob8OlU3jnhVWRbU7sLejlvH0zCmp+UnLy3mDzEuqaeNDl3sufaq
BfCyQmHC0Y8XxosUan4ysr2zMPMAzbNaRTJOTV9vaq8MtUpf9FzGzy5SLAof6oJW
rFnLPweEu6n6l3RmzPdvZlwmmbHaqQJrYLFobXGMr+h79Xeuw/d7YqdzwqVkkZby
4nm5ehEfOuPh1SBHoVktRsW0GHtCRhbQkaydXiGnuZ6q5HDqc+q+QsymytLsUF0n
CsommoqSGQnewUUtNSyL1nhDt6Vikud4SSX7YvgCanY2tmlnZhWTqo8r4Y+WeeFh
tEaZx4LxCyhzScHnqw6fgSajs2p1I79Cic63ADul9DGkXV7k4EDTkyZ4wwnYJmZQ
z0N6H/I08KcOClzjDzN5Lb1+cLJH1GJgU7otV8Xq01QXVPLfRlFBMCh6tYprvQd+
Q1cA+5P8Tc3A53uGIVCl
=aI81
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.