* Re-upload to unstable.
* Upload to experimental.
* New upstream version.
* debian/control:
+ Bump Standards-Version: to 4.5.1. No changes needed.
* debian/watch:
+ Update format version to 4.
* New upstream release.
* debian/control:
+ Bump Standards-Version: to 4.1.1. No changes needed.
+ Add Rules-Requires-Root: field and set it to "no".
+ Update versioned B for pakcs (to << 2.2.0~).
* debian/upstream/metadata:
+ Fix flawed Repository-Browse: field.
+ Fix typo in Security-Contact: field.
* New upstream release.
* debian/control:
+ Bump Standards-Version: to 4.3.0. No changes needed.
+ Update versioned B for pakcs (to << 2.1.0~).
* New upstream release.
* debian/control:
+ Bump Standards-Version: to 4.2.1. No changes needed.
+ Update versioned B: pakcs (<< 2.0.2~).
* debian/upstream/metadata:
+ Add file. Comply with DEP-12.
* debian/control:
+ Update Vcs-*: fields. Package has been migrated to salsa.debian.org.
+ Bump Standards-Version: to 4.2.0. No changes needed.
* debian/copyright:
+ Use secure URI for copyright format reference.
* debian/watch:
+ Update for tarball export feature in latest GitLab versions.
* New upstream release.
* debian/control:
+ Bump Standards-Version: to 4.1.3. No changes needed.
+ Add B (curry-tools-source): pakcs (<< 2.0.1~).
* debian/{control,compat}:
+ Bump to DH version level 10 (level 11 not yet supported by CDBS).
* Re-upload to unstable as is.
* New upstream release.
* debian/{rules,watch}:
+ Drop orig tarball repacking logic. The recent version of curry-tools does
not need repacking anymore.
* debian/patches:
+ Drop 2001_drop-spicey-tool.patch. Spicey tool is not shipped with this
upstream version anymore.
* debian/control:
+ Bump Standards-Version: to 4.1.1. No changes needed.
* debian/watch:
+ Update to new tarball naming scheme in recent GitLab versions.
* debian/control:
+ Bump Standards-Version: to 4.1.0. No changes needed.
* New upstream release.
* debian/patches:
+ Drop all patches recently cherry-picked from upstream. They are shipped
in this upstream release.
+ Update/rebase 2001_drop-spicey-tool.patch.
* debian/rules:
+ Use --clamp-mtime --mtime="$(SOURCE_DATE)" when tarring up the curry-tools
source files. As we quilt-patch some files in the original upstream
sources, we end up with varying mtimes in tarballs. The referenced options
avoid those mtime variations.
* debian/copyright:
+ Update copyright attributions.
* 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.
* 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
* New upstream release.
* Initial release to Debian. (Closes: #840539).