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