[ubuntu/mantic-proposed] coq-equations 1.3-8.17-2 (Accepted)

[Gianfranco Costamagna]

coq-equations (1.3-8.17-2) unstable; urgency=medium

  * Fix d/rules clean target (Closes: #1044207).

Date: 2023-09-02 04:27:19.475940+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq-equations/1.3-8.17-2
-------------- next part --------------
Sorry, changesfile not available.