coq-libhyps (2.0.6-1build3) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sat, 03 Dec 2022 10:45:09 +0100

coq-libhyps (2.0.6-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Fri, 25 Nov 2022 19:12:04 +0100

coq-libhyps (2.0.6-1build1) lunar; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Fri, 25 Nov 2022 12:04:24 +0100

coq-libhyps (2.0.6-1) unstable; urgency=medium

  * Initial release. (Closes: #1014965)

 -- Julien Puydt <jpuydt@debian.org>  Fri, 23 Sep 2022 16:21:31 +0200
