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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:36:12 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:36:12 +0100
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.3.0-1build6
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-1build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 caf6b38357b90ddd1df9b0fafd140c57dcc5ae94 2164 coq-iris_4.3.0-1build6.dsc
 540aaa4254f02fe222f54139580f77c2163f2d6f 12876 coq-iris_4.3.0-1build6.debian.tar.xz
 c1d9917c16be1d132d7471e5fe234007468930e1 7847 coq-iris_4.3.0-1build6_source.buildinfo
Checksums-Sha256:
 56b8c50ac42256d2e70d29bd7f5e6cba3bd6c86e755d7754add967e9f063e611 2164 coq-iris_4.3.0-1build6.dsc
 40556f389bca52ff606a399976d989ba50791d69dced05f15c415dd13464e762 12876 coq-iris_4.3.0-1build6.debian.tar.xz
 b2b1cf6c5122bbb557a170c6580d7bfb30b3716b1ae9c4e1db6a9c728c45746e 7847 coq-iris_4.3.0-1build6_source.buildinfo
Files:
 f22298c2c09f1ed840cb8737c2e069ef 2164 ocaml optional coq-iris_4.3.0-1build6.dsc
 0c51fd1ca4728a2db382579b5cd61753 12876 ocaml optional coq-iris_4.3.0-1build6.debian.tar.xz
 c83c97bbb2089ee81aa6b1411214b978 7847 ocaml optional coq-iris_4.3.0-1build6_source.buildinfo