[ubuntu/mantic-proposed] coq-unimath 20230420-4 (Accepted)

[Gianfranco Costamagna]

coq-unimath (20230420-4) unstable; urgency=medium

  * Re-enable 32-bits architectures using upstream patch.

Date: 2023-06-22 10:28:21.640968+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq-unimath/20230420-4
-------------- next part --------------
Sorry, changesfile not available.