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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:43:09 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:43:09 +0100
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.3.0-1build2
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-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1b5003ab4d9744d2fd16eafdf07ee3ba592a1a8e 2164 coq-iris_4.3.0-1build2.dsc
 8087c5329022fb28cf873a0ed918e9eebf976a9a 12788 coq-iris_4.3.0-1build2.debian.tar.xz
 c16d1b44a2b9eae5aa014a4554033ccb0d8bcab9 7291 coq-iris_4.3.0-1build2_source.buildinfo
Checksums-Sha256:
 5309c6194726b35eea5cceb5abed1108ba6308e9aa4ab8b6f6ab2dfb49d9d4c9 2164 coq-iris_4.3.0-1build2.dsc
 d9c30535db4101dfb52ef4de0e9c1eff1c1d529a2c965dca1fef15fae00f618c 12788 coq-iris_4.3.0-1build2.debian.tar.xz
 b3e4e2e8680dee07538f48d3980966a8a187a9077040f89a645ccc1be540ac2c 7291 coq-iris_4.3.0-1build2_source.buildinfo
Files:
 903e7e84f0a1155451ba175677b7ddb6 2164 ocaml optional coq-iris_4.3.0-1build2.dsc
 04489936d10c48874de5815a4c6934bd 12788 ocaml optional coq-iris_4.3.0-1build2.debian.tar.xz
 d8b41792f1f4c33d94cced09044686cd 7291 ocaml optional coq-iris_4.3.0-1build2_source.buildinfo