elpi (2.0.7-3build4) stonking; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 07 Jul 2026 10:14:38 +0200

elpi (2.0.7-3build3) resolute; urgency=medium

  * No change rebuild with fixed amd64v3 builders

 -- Sebastien Bacher <seb128@debian.org>  Sat, 28 Feb 2026 20:44:41 +0100

elpi (2.0.7-3build2) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 27 Jan 2026 22:25:35 +0100

elpi (2.0.7-3build1) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sat, 03 Jan 2026 10:50:10 +0100

elpi (2.0.7-3) unstable; urgency=medium

  * Team upload
  * Disable trace-browser-elab-broken1 test

 -- Stéphane Glondu <glondu@debian.org>  Sun, 28 Dec 2025 04:45:14 +0100

elpi (2.0.7-2) unstable; urgency=medium

  * Team upload
  * Fix compilation with ppxlib 0.36.0 (Closes: #1114903)

 -- Stéphane Glondu <glondu@debian.org>  Thu, 11 Sep 2025 15:27:16 +0200

elpi (2.0.7-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 15 Feb 2025 15:20:02 +0100

elpi (2.0.5-2) unstable; urgency=medium

  * Team upload
  * Fix compilation with atdgen 2.16

 -- Stéphane Glondu <glondu@debian.org>  Thu, 13 Feb 2025 14:16:30 +0100

elpi (2.0.5-1) unstable; urgency=medium

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

 -- Julien Puydt <jpuydt@debian.org>  Wed, 18 Dec 2024 12:07:57 +0100

elpi (1.19.6-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 20 Nov 2024 10:40:19 +0100

elpi (1.18.2-5) unstable; urgency=medium

  * Team upload
  * Simplify architectures: declare binaries "Architecture: any" and
    build-depend on ocaml-native-compilers

 -- Stéphane Glondu <glondu@debian.org>  Sat, 10 Aug 2024 09:36:00 +0200

elpi (1.18.2-4) unstable; urgency=medium

  * Add autopkgtest.

 -- Julien Puydt <jpuydt@debian.org>  Tue, 18 Jun 2024 11:37:00 +0200

elpi (1.18.2-3) unstable; urgency=medium

  * Add missing depend on yojson-tools (Closes: #1073275).

 -- Julien Puydt <jpuydt@debian.org>  Sun, 16 Jun 2024 18:26:35 +0200

elpi (1.18.2-2) unstable; urgency=medium

  * Team upload
  * Add armhf and s390x to Architectures

 -- Stéphane Glondu <glondu@debian.org>  Fri, 07 Jun 2024 06:54:50 +0200

elpi (1.18.2-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Sat, 24 Feb 2024 09:49:22 +0100

elpi (1.18.1-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.
  * Add support for loong64 architecture (Closes: #1059090).

 -- Julien Puydt <jpuydt@debian.org>  Thu, 25 Jan 2024 06:31:26 +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
