[ubuntu/oracular-proposed] coq-reduction-effects 0.1.5-4 (Accepted)

[Gianfranco Costamagna]

coq-reduction-effects (0.1.5-4) unstable; urgency=medium

  * Fix target distribution (dch -r issue?).

Date: 2024-04-26 22:27:34.172641+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq-reduction-effects/0.1.5-4
-------------- next part --------------
Sorry, changesfile not available.