coq-hierarchy-builder (1.10.3-3) unstable; urgency=medium

  * Re-upload after a binary rebuild broke all rdeps.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 11 Aug 2026 07:03:32 +0200

coq-hierarchy-builder (1.10.3-2) unstable; urgency=medium

  * Upload to unstable.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 23 Jul 2026 17:39:08 +0200

coq-hierarchy-builder (1.10.3-1) experimental; urgency=medium

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

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

coq-hierarchy-builder (1.10.1-2) experimental; urgency=medium

  * Strenghten depends on coq/rocq.
  * Add patch to avoid a name collision with elpi 3.4.3.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 11 Nov 2025 19:16:06 +0100

coq-hierarchy-builder (1.10.1-1) experimental; urgency=medium

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

 -- Julien Puydt <jpuydt@debian.org>  Wed, 29 Oct 2025 09:51:23 +0100

coq-hierarchy-builder (1.8.1-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 15 Feb 2025 15:22:32 +0100

coq-hierarchy-builder (1.8.0-1) unstable; urgency=medium

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

 -- Julien Puydt <jpuydt@debian.org>  Wed, 18 Dec 2024 12:12:28 +0100

coq-hierarchy-builder (1.7.0-2) unstable; urgency=medium

  * Team upload
  * Do not hardcode /usr/lib/ocaml

 -- Stéphane Glondu <glondu@debian.org>  Sat, 03 Aug 2024 09:50:28 +0200

coq-hierarchy-builder (1.7.0-1) unstable; urgency=medium

  * New upstream release.

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

coq-hierarchy-builder (1.6.0-1) unstable; urgency=medium

  [ Debian Janitor ]
  * debian/copyright: use spaces rather than tabs to start continuation lines.

  [ Julien Puydt ]
  * Fix d/rules clean target (Closes: #1044275).
  * New upstream release.
  * Drop all patches.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 21 Dec 2023 16:58:58 +0100

coq-hierarchy-builder (1.4.0-6) unstable; urgency=medium

  * Add patch to work with recent elpi (Closes: #1042022).

 -- Julien Puydt <jpuydt@debian.org>  Wed, 26 Jul 2023 09:12:38 +0200

coq-hierarchy-builder (1.4.0-5) unstable; urgency=medium

  * Fix abi issue.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 05 Jul 2023 10:07:24 +0200

coq-hierarchy-builder (1.4.0-4) unstable; urgency=medium

  * Fix patch metadata.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 04 Jul 2023 15:52:08 +0200

coq-hierarchy-builder (1.4.0-3) unstable; urgency=medium

  * Add patch to work with Coq 8.17.
  * Bump standards-version to 4.6.2.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 13 Jun 2023 07:06:07 +0200

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog libcoq-hierarchy-builder`.
