[ubuntu/oracular-proposed] coq-quickchick 2.0.3-2 (Accepted)

[Gianfranco Costamagna]

coq-quickchick (2.0.3-2) unstable; urgency=medium

  * Fix target distribution.

coq-quickchick (2.0.3-1) binary; urgency=medium

  * New upstream release.

coq-quickchick (2.0.2-2) binary; urgency=medium

  * Rebuild for binary compatibility.

Date: 2024-05-01 04:27:19.888571+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq-quickchick/2.0.3-2
-------------- next part --------------
Sorry, changesfile not available.