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 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 Mon, 17 Jan 2022 15:42:42 +0100 coq-hierarchy-builder (1.2.0-1) unstable; urgency=medium * Initial release. (Closes: #1001038) -- Julien Puydt Fri, 03 Dec 2021 08:57:26 +0100