coqeal (1.1.1-1build1) kinetic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 30 Aug 2022 12:28:31 +0200

coqeal (1.1.1-1) unstable; urgency=medium

  * Simplify the autopkgtest.
  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 08 Jul 2022 09:10:10 +0200

coqeal (1.1.0-1) unstable; urgency=medium

  * Initial release. (Closes: #1013965)

 -- Julien Puydt <jpuydt@debian.org>  Tue, 28 Jun 2022 09:23:23 +0200
