[ubuntu/resolute-proposed] coq-elpi 2.5.0-1.2 (Accepted)

[Gianfranco Costamagna]

coq-elpi (2.5.0-1.2) unstable; urgency=medium

  * Increase a little bit more a test timeout

Date: 2025-10-28 16:32:14.505725+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq-elpi/2.5.0-1.2
-------------- next part --------------
Sorry, changesfile not available.