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

  * No-change rebuild for ocaml abi changes.

 -- Matthias Klose <doko@ubuntu.com>  Wed, 26 Jan 2022 01:02:53 +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
