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

[Gianfranco Costamagna]

coq-elpi (2.5.0-1ubuntu1) questing; urgency=medium

  * Increase test timeout from 10 to 12 for riscv64

Date: Tue, 27 May 2025 14:04:36 +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-1ubuntu1
-------------- next part --------------
Format: 1.8
Date: Tue, 27 May 2025 14:04:36 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.5.0-1ubuntu1
Distribution: questing
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-1ubuntu1) questing; urgency=medium
 .
   * Increase test timeout from 10 to 12 for riscv64
Checksums-Sha1:
 64d0a6d4bf4b1a7e47d6798f79800a531d8cc18d 2070 coq-elpi_2.5.0-1ubuntu1.dsc
 4a174c48a96e3267c3987b93e2df9fc9e5dbedb7 3704 coq-elpi_2.5.0-1ubuntu1.debian.tar.xz
 a7e6751b363a2afa8d11e51e8fd80fdd90424ccc 6884 coq-elpi_2.5.0-1ubuntu1_source.buildinfo
Checksums-Sha256:
 4c4ed7fab0f898af6683f8f5f3b6cbc804618bd249b66d657f1dd87504535814 2070 coq-elpi_2.5.0-1ubuntu1.dsc
 2416026e7109cbf0eed2ea1e7d3689525994b47f179dc6c0e77f5118e7f37e52 3704 coq-elpi_2.5.0-1ubuntu1.debian.tar.xz
 8427bd87c48635d50243a797759e09815f2c11e5fd9874ae42e9d20cb2660da8 6884 coq-elpi_2.5.0-1ubuntu1_source.buildinfo
Files:
 f579d83968cb4101e8c64e2ccde42c2f 2070 ocaml optional coq-elpi_2.5.0-1ubuntu1.dsc
 d20295d86adac1357915c5a62e7809ac 3704 ocaml optional coq-elpi_2.5.0-1ubuntu1.debian.tar.xz
 7df6e96b616c160eee9ff19e90b8ee38 6884 ocaml optional coq-elpi_2.5.0-1ubuntu1_source.buildinfo