[ubuntu/lunar-proposed] coq-iris 4.0.0-2build1 (Accepted)

[Gianfranco Costamagna]

coq-iris (4.0.0-2build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:13:33 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:13:33 +0100
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.0.0-2build1
Distribution: lunar
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c87684d0f60728df2ac325509e420e85a1d6cd5a 2146 coq-iris_4.0.0-2build1.dsc
 a352e366c27ad9c1d0fcd5ad1f9ca31ff84e5da6 12008 coq-iris_4.0.0-2build1.debian.tar.xz
 04a660dceaed3f635f3647daf7ac08495e8ba9d1 10878 coq-iris_4.0.0-2build1_source.buildinfo
Checksums-Sha256:
 f3ec9dc5199cf2db2ce6119f9f4b3099109c636a898a0ac47f9cf8cc9a410125 2146 coq-iris_4.0.0-2build1.dsc
 6d537b5851b606e8bb6252d19e3227a499430e1ebf90e084153317dbb74a21a7 12008 coq-iris_4.0.0-2build1.debian.tar.xz
 a6a1c9f9332484db1b12b2a63fa55f33e0e1a511a08953191bb13391d8c9ff50 10878 coq-iris_4.0.0-2build1_source.buildinfo
Files:
 6bc52ce2aac44ec72756e7fa172faad6 2146 ocaml optional coq-iris_4.0.0-2build1.dsc
 edf2d1769fcb3e7389e7f06c7feac530 12008 ocaml optional coq-iris_4.0.0-2build1.debian.tar.xz
 e83561432b272e9384c31f00a041eb10 10878 ocaml optional coq-iris_4.0.0-2build1_source.buildinfo