[ubuntu/questing-proposed] coq-elpi 2.5.0-1.1 (Accepted)

[Gianfranco Costamagna]

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

  * Non-maintainer upload.
  * Enable again a patch commented on new release

  [ Adrian Bunk <bunk at debian.org> ]
  * Add 0001-Increase-a-test-timeout.patch
    (Closes: #1107826)

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