elpi (1.17.4-3) unstable; urgency=medium

  * Really re-enable all architectures... shame!

 -- Julien Puydt <jpuydt@debian.org>  Sun, 31 Dec 2023 19:14:29 +0100

elpi (1.17.4-2) unstable; urgency=medium

  * Re-enable all architectures (just to see).

 -- Julien Puydt <jpuydt@debian.org>  Sun, 31 Dec 2023 12:39:20 +0100

elpi (1.17.4-1) unstable; urgency=medium

  [ Julien Puydt ]
  * Fix d/rules cleaning (Closes: #1044961).

  [ Stéphane Glondu ]
  * Use ocaml_dune DH buildsystem
  * Mark test-only dependencies with <!nocheck>

  [ Debian Janitor ]
  * debian/copyright: use spaces rather than tabs to start continuation lines.

  [ Julien Puydt ]
  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 21 Dec 2023 14:45:57 +0100

elpi (1.17.0-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 25 Jul 2023 13:21:26 +0200

elpi (1.16.10-3) unstable; urgency=medium

  * Team upload
  * Force STACK to a higher value for tests (Closes: #1040541)

 -- Stéphane Glondu <glondu@debian.org>  Wed, 12 Jul 2023 12:22:35 +0200

elpi (1.16.10-2) unstable; urgency=medium

  * Fix compilation with recent dune.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 06 Jul 2023 14:44:19 +0200

elpi (1.16.10-1) unstable; urgency=medium

  * New upstream release.
  * Bump standards-version to 4.6.2.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 12 Jun 2023 08:54:50 +0200

elpi (1.16.8-1) unstable; urgency=medium

  * Re-enable the riscv64 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