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

[Gianfranco Costamagna]

coq-elpi (2.5.0-1.1ubuntu1) resolute; urgency=medium

  * Increase a little bit more a test timeout

Date: Fri, 24 Oct 2025 20:06:25 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-elpi/2.5.0-1.1ubuntu1
-------------- next part --------------
Format: 1.8
Date: Fri, 24 Oct 2025 20:06:25 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.5.0-1.1ubuntu1
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-elpi (2.5.0-1.1ubuntu1) resolute; urgency=medium
 .
   * Increase a little bit more a test timeout
Checksums-Sha1:
 eea643b0eca5daa6ae4698eb98af4877ebd82e39 2078 coq-elpi_2.5.0-1.1ubuntu1.dsc
 6ed76faa4dc8af2092e357dafc0d97dd7352299a 3988 coq-elpi_2.5.0-1.1ubuntu1.debian.tar.xz
 125162a870c75b24560f76bb95e773052f0beba7 6898 coq-elpi_2.5.0-1.1ubuntu1_source.buildinfo
Checksums-Sha256:
 ecfa2ca696a7d45a495bb99d3876420d8470375bd578b907e5d17211ffbe8fac 2078 coq-elpi_2.5.0-1.1ubuntu1.dsc
 2d1c0a8488ceafabe8e9664e7a33e05e10fb7dfbf900d9856510ae443ec4d17c 3988 coq-elpi_2.5.0-1.1ubuntu1.debian.tar.xz
 1767d2096e036c4814f3814b52855e878cc8856d6b8b1c0a3a761a4032db58a8 6898 coq-elpi_2.5.0-1.1ubuntu1_source.buildinfo
Files:
 82803e15f98131c87f12344c2a49ab27 2078 ocaml optional coq-elpi_2.5.0-1.1ubuntu1.dsc
 6b12a4ba786f7d043806b8acb9435371 3988 ocaml optional coq-elpi_2.5.0-1.1ubuntu1.debian.tar.xz
 e43e48fda3a0e9f9a0d7eeed980b1229 6898 ocaml optional coq-elpi_2.5.0-1.1ubuntu1_source.buildinfo