-
alt-ergo (2.4.2-2) unstable; urgency=medium
* Team upload.
* Re-enable the patch for non-native architectures.
-- Julien Puydt <email address hidden> Sat, 06 Aug 2022 23:04:05 +0200
-
alt-ergo (2.4.2-1) unstable; urgency=medium
* Team upload.
* New upstream release.
* Drop all patches (upstreamed).
-- Julien Puydt <email address hidden> Sat, 06 Aug 2022 16:55:11 +0200
-
alt-ergo (2.4.1-4) unstable; urgency=medium
* Add conditional patch for non-native architectures. (Closes: #1013362)
-- Julien Puydt <email address hidden> Mon, 04 Jul 2022 09:30:03 +0200
-
alt-ergo (2.4.1-3) unstable; urgency=medium
* Support cmdliner 1.1.1 using upstream patch.
-- Julien Puydt <email address hidden> Wed, 29 Jun 2022 11:31:51 +0200
-
alt-ergo (2.4.1-2) unstable; urgency=medium
* Team upload.
* Ship the examples (Closes: #1011966).
-- Julien Puydt <email address hidden> Sat, 28 May 2022 08:36:08 +0200
-
alt-ergo (2.4.1-1) unstable; urgency=medium
* Team upload.
* Fix d/watch.
* New upstream release.
* Adapt to new upstream build system.
* Drop patches (obsolete).
* Complete b-deps.
* Add a patch to work with a recent menhir.
* Update d/copyright.
* Adapt to new upstream install system.
-- Julien Puydt <email address hidden> Fri, 22 Apr 2022 11:07:37 +0200
-
alt-ergo (2.0.0-8build1) jammy; urgency=medium
* No-change rebuild for ocaml abi changes.
-- Matthias Klose <email address hidden> Wed, 26 Jan 2022 10:36:21 +0100