[ubuntu/noble-updates] coq-extructures 0.4.0-1build2 (Accepted)
Ubuntu Archive Robot
ubuntu-archive-robot at lists.canonical.com
Fri Mar 29 23:59:03 UTC 2024
coq-extructures (0.4.0-1build2) noble; urgency=medium
* Rebuild against new OCAML ABIs.
Date: 2024-02-17 00:26:26.384638+00:00
Changed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
Signed-By: Ubuntu Archive Robot <ubuntu-archive-robot at lists.canonical.com>
https://launchpad.net/ubuntu/+source/coq-extructures/0.4.0-1build2
-------------- next part --------------
Sorry, changesfile not available.
More information about the noble-changes
mailing list