[ubuntu/noble-updates] coq-bignums 9.0.0+coq8.18-1 (Accepted)

[Ubuntu Archive Robot]

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

  * Fix cleaning target (Closes: #1044477).
  * Make d/watch follow new upstreams.
  * New upstream release.

Date: 2023-12-22 16:35:56.825247+00:00
Signed-By: Ubuntu Archive Robot <ubuntu-archive-robot at lists.canonical.com>
https://launchpad.net/ubuntu/+source/coq-bignums/9.0.0+coq8.18-1
-------------- next part --------------
Sorry, changesfile not available.