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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:44:19 +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-4build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:44:19 +0100
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.0.0-4build3
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-4build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8359ca1a39c6a027585acc5c70723bb9e57a34a8 2151 coq-iris_4.0.0-4build3.dsc
 307406d2972bc23c2c216176362e8fdfffe8e466 12112 coq-iris_4.0.0-4build3.debian.tar.xz
 2ac3dc36aea7e7d299e43baaba8787c6815d03c4 10872 coq-iris_4.0.0-4build3_source.buildinfo
Checksums-Sha256:
 b01201eb442e6dc4d1c0219805b0e5376cc755f8efe87c962d6b5be4450cd6e4 2151 coq-iris_4.0.0-4build3.dsc
 a8b96df8fa128350e978a8dd37dd7d0bc4c66dbc47689c337faef5576efedce5 12112 coq-iris_4.0.0-4build3.debian.tar.xz
 09bbd67368e6ea35de6bc548dfa05eb377db935817c66dda893a198fd5189689 10872 coq-iris_4.0.0-4build3_source.buildinfo
Files:
 b442eb53d6cf54c6049743bc63f0f544 2151 ocaml optional coq-iris_4.0.0-4build3.dsc
 218d1f2917b27d8e1410a632363a8b7e 12112 ocaml optional coq-iris_4.0.0-4build3.debian.tar.xz
 f7a0e749a501f5a324c7002040d4d648 10872 ocaml optional coq-iris_4.0.0-4build3_source.buildinfo