[ubuntu/noble-updates] mathcomp-algebra-tactics 1.2.3-1build2 (Accepted)

[Ubuntu Archive Robot]

mathcomp-algebra-tactics (1.2.3-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: 2024-02-17 00:27:15.884911+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/mathcomp-algebra-tactics/1.2.3-1build2
-------------- next part --------------
Sorry, changesfile not available.