[ubuntu/oracular-proposed] coq-bignums 9.0.0+coq8.19-1 (Accepted)

[Gianfranco Costamagna]

coq-bignums (9.0.0+coq8.19-1) unstable; urgency=medium

  * New upstream release.

Date: 2024-04-27 22:27:47.739411+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq-bignums/9.0.0+coq8.19-1
-------------- next part --------------
Sorry, changesfile not available.