[ubuntu/resolute-proposed] coq-iris 4.3.0-1ubuntu1 (Accepted)

[Gianfranco Costamagna]

coq-iris (4.3.0-1ubuntu1) resolute; urgency=medium

  * Longer timeout (5s) for riscv64

Date: Thu, 08 Jan 2026 14:58:25 +0100
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-iris/4.3.0-1ubuntu1
-------------- next part --------------
Format: 1.8
Date: Thu, 08 Jan 2026 14:58:25 +0100
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.3.0-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-iris (4.3.0-1ubuntu1) resolute; urgency=medium
 .
   * Longer timeout (5s) for riscv64
Checksums-Sha1:
 ba2715599ad0ad3e09d96e30104c4e2acd5e4a7a 2168 coq-iris_4.3.0-1ubuntu1.dsc
 9326d611a2c01eecb97fd84684c0937a52b1462e 13068 coq-iris_4.3.0-1ubuntu1.debian.tar.xz
 ab258a6ec6a0563e7ca6a7c4202175ead8b7166b 7851 coq-iris_4.3.0-1ubuntu1_source.buildinfo
Checksums-Sha256:
 1ff9a920c725ee6f8012ee29b6335c2668004faf9ccc7c9b5ae90c9e0e82d32c 2168 coq-iris_4.3.0-1ubuntu1.dsc
 dbbe54b6ef463a3bc85b6757d63c1f2697f9d3e2775a5922ab6d57a325d1f8f8 13068 coq-iris_4.3.0-1ubuntu1.debian.tar.xz
 353e91685ff0171d98c1cef258b160d7d7e7b04a3887263de148220f8a7b7c4e 7851 coq-iris_4.3.0-1ubuntu1_source.buildinfo
Files:
 072df23183e46b9668e212ab44f893f4 2168 ocaml optional coq-iris_4.3.0-1ubuntu1.dsc
 8c07a5222ebaa48e828192b8d35745c0 13068 ocaml optional coq-iris_4.3.0-1ubuntu1.debian.tar.xz
 3f3a7a4f5606e456f7fd8b4daefcbf01 7851 ocaml optional coq-iris_4.3.0-1ubuntu1_source.buildinfo