elpi (1.16.8-1) unstable; urgency=medium

  * Re-enable the archv64 architecture following advice from
  Manuel A. Fernandez Montecelo - thanks! (Closes: #1025129)
  * New upstream release.
  * Drop the patch for yojson 2.0 support (obsolete).

 -- Julien Puydt <jpuydt@debian.org>  Wed, 07 Dec 2022 08:21:57 +0100

elpi (1.16.7-2) unstable; urgency=medium

  * Limit the architectures where the package builds,
    until upstream re-enables them.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 26 Oct 2022 11:11:53 +0200

elpi (1.16.7-1) unstable; urgency=medium

  * New upstream release.
  * Add patch for yojson 2.0 support.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 24 Oct 2022 13:38:28 +0200

elpi (1.16.5-4) unstable; urgency=medium

  * Add patch for longer timeouts, so tests pass on
  more architectures.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 13 Sep 2022 08:52:43 +0200

elpi (1.16.5-3) unstable; urgency=medium

  * Add more deps to help with running tests on several architectures.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 12 Sep 2022 14:41:30 +0200

elpi (1.16.5-2) unstable; urgency=medium

  * Enable tests during the compilation.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 12 Sep 2022 13:52:08 +0200

elpi (1.16.5-1) unstable; urgency=medium

  * New upstream release.
  * Bump Standards-Version to 4.6.1.

 -- Julien Puydt <jpuydt@debian.org>  Sun, 17 Jul 2022 12:30:29 +0200

elpi (1.15.2-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 14 May 2022 04:06:35 +0200

elpi (1.14.3-1) unstable; urgency=medium

  * New upstream release.
  * Drop patch (obsolete).

 -- Julien Puydt <jpuydt@debian.org>  Fri, 25 Mar 2022 07:47:24 +0100

elpi (1.14.1-1) unstable; urgency=medium

  * Add a debian/upstream/metadata file.
  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 08 Feb 2022 22:05:04 +0100

elpi (1.13.8-2) unstable; urgency=medium

  * Add support for camlp5 8.*. (Closes: #1002988)

 -- Julien Puydt <jpuydt@debian.org>  Fri, 21 Jan 2022 10:22:17 +0100

elpi (1.13.8-1) unstable; urgency=medium

  * New upstream release.
  * Drop extra license files.
  * Add patch to fix typos.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 29 Nov 2021 12:47:05 +0100

elpi (1.13.7-2) unstable; urgency=medium

  * Better packaging.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 10 Nov 2021 18:46:46 +0100

elpi (1.13.7-1) unstable; urgency=medium

  * Initial release. (Closes: #997993)

 -- Julien Puydt <jpuydt@debian.org>  Fri, 29 Oct 2021 21:29:00 +0200