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

dh-coq (0.5) unstable; urgency=medium

  * Add dep on python3 for the d-debian-coq-tools.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 18 Oct 2022 06:52:11 +0200

dh-coq (0.4) unstable; urgency=medium

  * Better documentation.
  * Add coq-planif-transition and coq-wanna-build tools
  as new package debian-coq-tools.
  * Try to sort the list of vo files -- makes the
  builds more reproducible.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 04 Oct 2022 09:34:07 +0200

dh-coq (0.3) unstable; urgency=medium

  * Mark the package as Multi-Arch: foreign following hinter.
  * More robust parsing of the b-deps.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 15 Jun 2022 10:16:08 +0200

dh-coq (0.2) unstable; urgency=medium

  * Fix various typos in the debian/ directory (Closes: #1012667).

 -- Julien Puydt <jpuydt@debian.org>  Sat, 11 Jun 2022 16:14:04 +0200

dh-coq (0.1) unstable; urgency=medium

  * Initial release.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 03 Jun 2022 20:38:06 +0200
