Change logs for coq-elpi source package in Lunar

coq-elpi (1.16.0-2build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 16 Feb 2023 23:55:06 +0100

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

  * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.

 -- Julien Puydt <email address hidden>  Wed, 25 Jan 2023 07:46:31 +0100

coq-elpi (1.16.0-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 03 Dec 2022 21:27:59 +0100

coq-elpi (1.16.0-1build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sun, 27 Nov 2022 08:37:50 +0100

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

  * New upstream release.

 -- Julien Puydt <email address hidden>  Sat, 19 Nov 2022 18:31:24 +0100

coq-elpi (1.15.6-4) unstable; urgency=medium

  * Provide a better fix for the libelpi-ocaml depend.

 -- Julien Puydt <email address hidden>  Sun, 13 Nov 2022 21:47:42 +0100

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

  * Rebuild because of new elpi.

 -- Julien Puydt <email address hidden>  Tue, 25 Oct 2022 21:25:22 +0200

coq-elpi (1.14.0-5build1) kinetic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 21 Jul 2022 18:05:00 +0200