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

  * Rework b-deps (Closes: #1009449).

 -- Julien Puydt <jpuydt@debian.org>  Wed, 13 Apr 2022 14:41:15 +0200

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

  * Trigger rebuild to depend on newer coq.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 23 Mar 2022 22:38:38 +0100

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

  * Rename the lib* package to follow more closely other packages'
  (and upstream's) naming scheme.
  * Adapt to the new coq library location.
  * Update dates in d/copyright.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 09 Feb 2022 09:38:46 +0100

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

  * Add explicit b-dep on libelpi-ocaml-dev. (Closes: #1002930)
  * New upstream release.
  * Drop patches (obsolete).

 -- Julien Puydt <jpuydt@debian.org>  Mon, 17 Jan 2022 15:42:42 +0100

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

  * Initial release. (Closes: #1001038)

 -- Julien Puydt <jpuydt@debian.org>  Fri, 03 Dec 2021 08:57:26 +0100
