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
