aac-tactics (9.0.0-4) unstable; urgency=medium

  * Prepare for upload to unstable.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 22 Jul 2026 20:23:21 +0200

aac-tactics (9.0.0-3) experimental; urgency=medium

  * Rewrite d/watch.
  * Bump standards-version to 4.7.4.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 10 Jul 2026 10:52:19 +0200

aac-tactics (9.0.0-2) experimental; urgency=medium

  * Strenghten depend on coq/rocq.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 11 Nov 2025 18:18:41 +0100

aac-tactics (9.0.0-1) experimental; urgency=medium

  * Sequence install targets (Closes: #1105230).
  * Adapt to the Coq->Rocq transition.
  * Update lintian overrides.
  * Bump standards-version to 4.7.2.
  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 29 Oct 2025 07:57:49 +0100

aac-tactics (8.20.0-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 20 Nov 2024 10:41:23 +0100

aac-tactics (8.19.1-2) unstable; urgency=medium

  * Do not hardcode /usr/lib/ocaml

 -- Stéphane Glondu <glondu@debian.org>  Sat, 03 Aug 2024 17:29:07 +0200

aac-tactics (8.19.1-1) unstable; urgency=medium

  * New upstream release.
  * Bump standards-version to 4.7.0.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 11 Jun 2024 07:05:57 +0200

aac-tactics (8.19.0-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 24 Feb 2024 09:51:21 +0100

aac-tactics (8.18.0-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 21 Dec 2023 15:20:11 +0100

aac-tactics (8.17.0-3) unstable; urgency=medium

  * Depend on ocaml instead of transitional ocaml-nox

 -- Stéphane Glondu <glondu@debian.org>  Tue, 12 Sep 2023 07:51:26 +0200

aac-tactics (8.17.0-2) unstable; urgency=medium

  * Add lintian overrides for false issues.
  * Bump Coq version depend.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 12 Jun 2023 19:27:20 +0200

aac-tactics (8.17.0-1) unstable; urgency=medium

  * Fix links in the doc base system.
  * Bump standards-version to 4.6.2.
  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 03 Jan 2023 14:33:38 +0100

aac-tactics (8.16.0-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 22 Aug 2022 16:35:51 +0200

aac-tactics (8.15.1-6) unstable; urgency=medium

  * Install the documentation in the right directory.
  * Use dh-coq.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 11 Jun 2022 22:34:44 +0200

aac-tactics (8.15.1-5) unstable; urgency=medium

  * Bump standards-version to 4.6.1.
  * Add myself to uploaders.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 01 Jun 2022 15:01:51 +0200

aac-tactics (8.15.1-4) unstable; urgency=medium

  * Re-upload to fix ABI breakage.

 -- Julien Puydt <jpuydt@debian.org>  Sun, 22 May 2022 19:23:17 +0200

aac-tactics (8.15.1-3) unstable; urgency=medium

  * Change the libcoq package to Architecture: any.

 -- Julien Puydt <jpuydt@debian.org>  Sun, 17 Apr 2022 13:55:57 +0200

aac-tactics (8.15.1-2) unstable; urgency=medium

  * Source-only upload for testing migration.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 13 Apr 2022 09:07:48 +0200

aac-tactics (8.15.1-1) unstable; urgency=medium

  * Team upload.
  * New upstream release.
  * Rename the libaac-tactics-coq binary package
  to libcoq-aac-tactics to follow the rest of the
  ecosystem in Debian.

 -- Julien Puydt <jpuydt@debian.org>  Sun, 03 Apr 2022 21:57:56 +0200

aac-tactics (8.15.0-1) unstable; urgency=medium

  * Team upload.
  * Fix d/watch.
  * New upstream release.
  * Adapt to new coq library layout (closes: #970454).
  * Bump dh-compat to level 13.
  * Bump standards-version to 4.6.0.

 -- Julien Puydt <jpuydt@debian.org>  Sun, 06 Feb 2022 13:55:39 +0100

aac-tactics (8.11.0-1) unstable; urgency=medium

  * Team upload
  * New upstream version, compiles with coq 8.11.0 (closes: #953739)
  * debian/rules: on dynlink architectures, build opt before byte
  * debian/*.ocamldoc: add -I /usr/lib/coq/tactics

 -- Ralf Treinen <treinen@debian.org>  Tue, 17 Mar 2020 16:42:09 +0100

aac-tactics (8.9.0-1) unstable; urgency=medium

  * New upstream release
  * Update Homepage and debian/watch
  * Bump debhelper compat level to 12
  * Bump Standards-Version to 4.5.0
  * Add Rules-Requires-Root: no

 -- Stéphane Glondu <glondu@debian.org>  Sun, 02 Feb 2020 15:16:42 +0100

aac-tactics (8.8.0+1.gbp069dc3b-1) unstable; urgency=medium

  ** SNAPSHOT build @069dc3bd125ca18f5712759d54edcf9addb4cdd4 **

  * Team upload
  * New upstream release
  * Build an unreleased snapshot to support Coq 8.9 (Closes: 919463)

 -- Benjamin Barenblat <bbaren@debian.org>  Sun, 17 Feb 2019 20:29:23 -0500

aac-tactics (8.6.1-2) unstable; urgency=medium

  * Recompile with OCaml 4.05.0

 -- Stéphane Glondu <glondu@debian.org>  Mon, 09 Oct 2017 10:33:39 +0200

aac-tactics (8.6.1-1) unstable; urgency=medium

  * Team upload
  * New upstream release
  * Remove patch 001-fix-typos, applied upstream

 -- Enrico Tassi <gareuselesinge@debian.org>  Tue, 27 Dec 2016 16:06:51 +0000

aac-tactics (8.5.1-1) unstable; urgency=medium

  * Team upload
  * Imported Upstream version 8.5.1 (Closes: #813459)
  * Use HTTPS for Vcs-* links
  * New upstream URL & watch file
  * Install .v files
  * Fix installed docs
  * Fix typos
  * Bump Standards-Version to 3.9.8.
    No change required

 -- Nicolas Braud-Santoni <nicolas@braud-santoni.eu>  Sat, 23 Jul 2016 16:44:48 -0400

aac-tactics (0.4-5) unstable; urgency=medium

  * Recompile with OCaml 4.02.3

 -- Stéphane Glondu <glondu@debian.org>  Wed, 14 Oct 2015 11:44:20 +0200

aac-tactics (0.4-4) unstable; urgency=medium

  * Fix Homepage URL
  * Drop debian/watch
  * Bump Standards-Version to 3.9.6
  * Bump debhelper compat level to 9

 -- Stéphane Glondu <glondu@debian.org>  Mon, 10 Aug 2015 21:16:02 +0200

aac-tactics (0.4-3) unstable; urgency=medium

  * Recompile with coq 8.4pl4

 -- Stéphane Glondu <glondu@debian.org>  Wed, 30 Jul 2014 11:00:52 +0200

aac-tactics (0.4-2) unstable; urgency=medium

  * Recompile with coq 8.4pl3
  * Bump Standards-Version to 3.9.5 (no changes)
  * Update Vcs-*

 -- Stéphane Glondu <glondu@debian.org>  Mon, 20 Jan 2014 08:22:59 +0100

aac-tactics (0.4-1) unstable; urgency=low

  * New upstream release

 -- Stéphane Glondu <glondu@debian.org>  Thu, 05 Dec 2013 07:56:39 +0100

aac-tactics (0.3.pl1-1) unstable; urgency=low

  * New upstream release
  * Use format version 1.0 in debian/copyright
  * Bump Standards-Version to 3.9.4
  * Upload to unstable

 -- Stéphane Glondu <glondu@debian.org>  Thu, 09 May 2013 13:26:38 +0200

aac-tactics (0.3-2) experimental; urgency=low

  * Fix FTBFS without natdynlink
  * This version requires the bugfix introduced in coq 8.4dfsg-2

 -- Stéphane Glondu <glondu@debian.org>  Sat, 22 Sep 2012 16:08:20 +0200

aac-tactics (0.3-1) experimental; urgency=low

  * New upstream release

 -- Stéphane Glondu <glondu@debian.org>  Fri, 21 Sep 2012 19:19:27 +0200

aac-tactics (0.2.pl2-7) unstable; urgency=low

  * Recompile with camlp5 6.06 (no changes)

 -- Stéphane Glondu <glondu@debian.org>  Sat, 09 Jun 2012 10:31:21 +0200

aac-tactics (0.2.pl2-6) unstable; urgency=medium

  * Recompile with camlp5 6.05 and coq 8.3pl4 (no changes)

 -- Stéphane Glondu <glondu@debian.org>  Sun, 01 Apr 2012 17:19:08 +0200

aac-tactics (0.2.pl2-5) unstable; urgency=low

  * Recompile with camlp5 6.04 (no changes)

 -- Stéphane Glondu <glondu@debian.org>  Mon, 05 Mar 2012 21:51:05 +0100

aac-tactics (0.2.pl2-4) unstable; urgency=low

  * Rebuild with Coq 8.3pl3 (no source changes)

 -- Stéphane Glondu <glondu@debian.org>  Sun, 25 Dec 2011 16:54:20 +0100

aac-tactics (0.2.pl2-3) unstable; urgency=low

  * Recompile with OCaml 3.12.1 (no changes)
  * Bump Standards-Version to 3.9.2 (no changes)

 -- Stéphane Glondu <glondu@debian.org>  Thu, 03 Nov 2011 06:41:57 +0100

aac-tactics (0.2.pl2-2) unstable; urgency=low

  * Upload to unstable

 -- Stéphane Glondu <glondu@debian.org>  Sun, 01 May 2011 19:22:52 +0200

aac-tactics (0.2.pl2-1) experimental; urgency=low

  * New upstream release
    - remove patch (applied upstream)

 -- Stéphane Glondu <glondu@debian.org>  Mon, 28 Feb 2011 07:46:14 +0100

aac-tactics (0.1-r13244-1) experimental; urgency=low

  * Initial release (Closes: #605487)

 -- Stéphane Glondu <glondu@debian.org>  Tue, 30 Nov 2010 16:24:53 +0100
