elpi (2.0.5-1) unstable; urgency=medium * New upstream release. * Bump standards-version to 4.7.0. -- Julien Puydt Wed, 18 Dec 2024 12:07:57 +0100 elpi (1.19.6-1) unstable; urgency=medium * New upstream release. -- Julien Puydt 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 Sat, 10 Aug 2024 09:36:00 +0200 elpi (1.18.2-4) unstable; urgency=medium * Add autopkgtest. -- Julien Puydt 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 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 Fri, 07 Jun 2024 06:54:50 +0200 elpi (1.18.2-1) unstable; urgency=medium * New upstream release. -- Julien Puydt 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 [ 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 Thu, 25 Jan 2024 06:31:26 +0100 elpi (1.17.0-1) unstable; urgency=medium * New upstream release. -- Julien Puydt 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 Wed, 12 Jul 2023 12:22:35 +0200 elpi (1.16.10-2) unstable; urgency=medium * Fix compilation with recent dune. -- Julien Puydt 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 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 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 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 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 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 Mon, 12 Sep 2022 14:41:30 +0200 elpi (1.16.5-2) unstable; urgency=medium * Enable tests during the compilation. -- Julien Puydt 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 Sun, 17 Jul 2022 12:30:29 +0200 elpi (1.15.2-1) unstable; urgency=medium * New upstream release. -- Julien Puydt Sat, 14 May 2022 04:06:35 +0200 elpi (1.14.3-1) unstable; urgency=medium * New upstream release. * Drop patch (obsolete). -- Julien Puydt 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 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 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 Mon, 29 Nov 2021 12:47:05 +0100 elpi (1.13.7-2) unstable; urgency=medium * Better packaging. -- Julien Puydt Wed, 10 Nov 2021 18:46:46 +0100 elpi (1.13.7-1) unstable; urgency=medium * Initial release. (Closes: #997993) -- Julien Puydt Fri, 29 Oct 2021 21:29:00 +0200