dh-coq (0.14build2) stonking; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Wed, 01 Jul 2026 18:56:39 +0200

dh-coq (0.14build1) resolute; urgency=medium

  * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)

 -- Graham Inggs <ginggs@ubuntu.com>  Fri, 16 Jan 2026 19:58:30 +0000

dh-coq (0.14) unstable; urgency=medium

  * Add metacoq to the list of supported packages.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 18 Feb 2025 10:13:45 +0100

dh-coq (0.13) unstable; urgency=medium

  * Improve coq-platform-comparison.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 04 Jan 2025 12:28:05 +0100

dh-coq (0.12) unstable; urgency=medium

  * Make the testing tool handle packages without corresponding test.
  * Add the possibility to specify a switch for tests (needed for unimath now).
  * Add a comparison tool with the Coq Platform.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 30 Dec 2024 12:11:45 +0100

dh-coq (0.11) unstable; urgency=medium

  * Fix coq-serapi addition.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 17 Sep 2024 20:25:36 +0200

dh-coq (0.10) unstable; urgency=medium

  * coq_packages: added coq-serapi.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 16 Sep 2024 06:48:31 +0200

dh-coq (0.9) unstable; urgency=medium

  * coq-check-packages: simplified code.
  * coq_packages.py: more features.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 01 Jun 2024 07:57:01 +0200

dh-coq (0.8) unstable; urgency=medium

  * Fix coq-wanna-build so elpi is correctly handled.
  * Add coq-check-packages tool.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 31 Jan 2024 14:11:56 +0100

dh-coq (0.7) unstable; urgency=medium

  [ Debian Janitor ]
  * Apply multi-arch hints

  [ Julien Puydt ]
  * Drop mathcomp-abel.
  * Rewrite coq-planif-transition to get a --org-more switch.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 25 Jan 2024 06:45:38 +0100

dh-coq (0.6) unstable; urgency=medium

  * Adapt the levels and tests to more recent versions.
  * Bump standards-version to 4.6.2.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 22 Jun 2023 11:13:09 +0200

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog debian-coq-tools`.
