[ubuntu/noble-proposed] coq-iris 4.0.0-4build2 (Accepted)

[Gianfranco Costamagna]

coq-iris (4.0.0-4build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:15: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.0.0-4build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:15:08 +0100
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.0.0-4build2
Distribution: noble
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.0.0-4build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 90a1b3f6211df7e432c8b7274320baeff60a848e 2151 coq-iris_4.0.0-4build2.dsc
 daeee19394230f254e933e173064133310bcb896 12092 coq-iris_4.0.0-4build2.debian.tar.xz
 3151d678b83d3ad5ef59b8d277c543c51b792c6f 10872 coq-iris_4.0.0-4build2_source.buildinfo
Checksums-Sha256:
 fc402e1d27748e85de82a460562e8f9a1de79aa74fc2e4fe8c028c394760da14 2151 coq-iris_4.0.0-4build2.dsc
 3e8bdb9bd1df6ab876b8650c998279054370c27e289598010aa17ee5bfb1997a 12092 coq-iris_4.0.0-4build2.debian.tar.xz
 01e4650a829a57f6fe6c76bf54d943f9c06823b6778067e6cd8e64279ed35f8f 10872 coq-iris_4.0.0-4build2_source.buildinfo
Files:
 c147e50919b3dabb21853f810225f08e 2151 ocaml optional coq-iris_4.0.0-4build2.dsc
 6a584a7e331db3fc358eed8cbba1802d 12092 ocaml optional coq-iris_4.0.0-4build2.debian.tar.xz
 272ec262a9038555ca069e4722c545fe 10872 ocaml optional coq-iris_4.0.0-4build2_source.buildinfo