-
coq-reduction-effects (0.1.5-4build3) oracular; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Sat, 15 Jun 2024 16:34:54 +0200
-
coq-reduction-effects (0.1.5-4build2) oracular; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Mon, 13 May 2024 20:20:48 +0200
-
coq-reduction-effects (0.1.5-4build1) oracular; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Thu, 02 May 2024 22:10:11 +0200
-
coq-reduction-effects (0.1.5-4) unstable; urgency=medium
* Fix target distribution (dch -r issue?).
-- Julien Puydt <email address hidden> Fri, 26 Apr 2024 15:50:51 +0200
-
coq-reduction-effects (0.1.5-1build3) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Mon, 08 Apr 2024 09:14:57 +0200