[ubuntu/oracular-proposed] coq-deriving 0.2.0-2 (Accepted)

[Gianfranco Costamagna]

coq-deriving (0.2.0-2) unstable; urgency=medium

  * Bump version because of binary issues.

Date: 2024-04-30 22:26:58.450839+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq-deriving/0.2.0-2
-------------- next part --------------
Sorry, changesfile not available.