[ubuntu/plucky-proposed] coq-iris 4.3.0-1build4 (Accepted)

[Gianfranco Costamagna]

coq-iris (4.3.0-1build4) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 08:10:57 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 08:10:57 +0100
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.3.0-1build4
Distribution: plucky
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-1build4) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c2c74e1360fc33f0c4c7a49f4d3a216587a6f511 2164 coq-iris_4.3.0-1build4.dsc
 2a65242e5e8ec4f0a3ad8a09227b386093791835 12816 coq-iris_4.3.0-1build4.debian.tar.xz
 f3f9e510a64f1b816b979bcc7d943ac6005cc5ee 7291 coq-iris_4.3.0-1build4_source.buildinfo
Checksums-Sha256:
 cebeffc1b7579689fb274c2c85f1c80e7a0729b48790640092387243e040f464 2164 coq-iris_4.3.0-1build4.dsc
 5b48b66a8d0dff7557cf5534e11d8072c4b52d5350e92237b6ef3ecd70ab2f2e 12816 coq-iris_4.3.0-1build4.debian.tar.xz
 53455b3b527b222500f2aaf2b99be61b3ae21beab042c877617dfc458835019a 7291 coq-iris_4.3.0-1build4_source.buildinfo
Files:
 57f048f49b39ff7085bb235ca19148a7 2164 ocaml optional coq-iris_4.3.0-1build4.dsc
 963f27b20307412c6dac4d3cd0266bbb 12816 ocaml optional coq-iris_4.3.0-1build4.debian.tar.xz
 7bc882cfd131429432e383d19bda1a0b 7291 ocaml optional coq-iris_4.3.0-1build4_source.buildinfo