[ubuntu/noble-updates] coq-reduction-effects 0.1.5-1 (Accepted)

[Ubuntu Archive Robot]

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

  * Fix d/rules clean target (Closes: #1044395).
  * New upstream release.
  * Remove obsolete d/copyright entry.

Date: 2023-12-22 16:36:06.770124+00:00
Signed-By: Ubuntu Archive Robot <ubuntu-archive-robot at lists.canonical.com>
https://launchpad.net/ubuntu/+source/coq-reduction-effects/0.1.5-1
-------------- next part --------------
Sorry, changesfile not available.