coq-elpi (1.13.0-3) unstable; urgency=medium

  * Split the package, giving one more binary.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 01 Apr 2022 15:30:44 +0200

coq-elpi (1.13.0-2) unstable; urgency=medium

  * Update dates in d/copyright.
  * Add an upstream metadata file.
  * Add a lintian override for libcoq-elpi-ocaml-dev.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 23 Mar 2022 22:15:06 +0100

coq-elpi (1.13.0-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 10 Feb 2022 13:30:32 +0100

coq-elpi (1.12.1-2) unstable; urgency=medium

  * Adapt to the new coq library layout.

 -- Julien Puydt <jpuydt@debian.org>  Sun, 06 Feb 2022 12:56:20 +0100

coq-elpi (1.12.1-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 21 Jan 2022 16:09:07 +0100

coq-elpi (1.12.0-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 17 Jan 2022 15:44:00 +0100

coq-elpi (1.11.2-1) unstable; urgency=medium

  * Initial release. (Closes: #999483)

 -- Julien Puydt <jpuydt@debian.org>  Fri, 03 Dec 2021 09:02:11 +0100
