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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:24:08 +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-1ubuntu2
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:24:08 +0100
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.3.0-1ubuntu2
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-1ubuntu2) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 204710394f09eafffec51f02e4fa3e7bcb114d9f 2168 coq-iris_4.3.0-1ubuntu2.dsc
 019f4d7657a260ecb138856074ebf415ba526cc9 13084 coq-iris_4.3.0-1ubuntu2.debian.tar.xz
 d5ac9b495824b2e3aef7f769a0a603ab673baa6d 7855 coq-iris_4.3.0-1ubuntu2_source.buildinfo
Checksums-Sha256:
 4089733296dfcb300e49f9815cc5a170dddbaf4c0cd7f9c13be091c61b82c76a 2168 coq-iris_4.3.0-1ubuntu2.dsc
 6f3dd679affaff87db40106a221b3235a20069a7b8088481b48143728f3a898b 13084 coq-iris_4.3.0-1ubuntu2.debian.tar.xz
 f2a14873614372b31a3a33b368935ca1ab1613e63a8dcecda4605dbe66ce05d4 7855 coq-iris_4.3.0-1ubuntu2_source.buildinfo
Files:
 7c8d9f0d030df33ae995730bd94d3d43 2168 ocaml optional coq-iris_4.3.0-1ubuntu2.dsc
 7d9d2dec440254a59e45cde85099c478 13084 ocaml optional coq-iris_4.3.0-1ubuntu2.debian.tar.xz
 76c8d398940bb2388101342398d58c33 7855 ocaml optional coq-iris_4.3.0-1ubuntu2_source.buildinfo