-
coq-libhyps (2.0.8-3build2) oracular; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Mon, 13 May 2024 20:20:19 +0200
-
coq-libhyps (2.0.8-3build1) oracular; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Thu, 02 May 2024 22:09:47 +0200
-
coq-libhyps (2.0.8-3) unstable; urgency=medium
* Fix target distribution.
-- Julien Puydt <email address hidden> Fri, 26 Apr 2024 15:41:03 +0200
-
coq-libhyps (2.0.8-1build4) noble; urgency=medium
* Rebuild against new OCAML ABIs.
-- Gianfranco Costamagna <email address hidden> Mon, 08 Apr 2024 09:14:31 +0200