[ubuntu/oracular-proposed] coq-stdpp 1.10.0-1 (Accepted)

[Gianfranco Costamagna]

coq-stdpp (1.10.0-1) unstable; urgency=medium

  * New upstream release.
  * Bump standards-version to 4.7.0.

Date: 2024-04-26 22:27:35.080213+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq-stdpp/1.10.0-1
-------------- next part --------------
Sorry, changesfile not available.