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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 12:56:28 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 12:56:28 +0100
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.0.0-2build2
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-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2a7e53a4dbdedb442f0d86c884f5ce7ec897c941 2146 coq-iris_4.0.0-2build2.dsc
 bc79748a554c47ac3b7ca4b5745fae6a336d7095 12036 coq-iris_4.0.0-2build2.debian.tar.xz
 3ecd26ca7ba50db75829360c2845d8c521a074b7 10887 coq-iris_4.0.0-2build2_source.buildinfo
Checksums-Sha256:
 c9643c6c9001a136f866dbe7b50cb593ce77ca259e24248237ab1d8fe198bcfa 2146 coq-iris_4.0.0-2build2.dsc
 982b83c4d97a62128dc9d83fa18c9b81514c3d81bd99f66573f7356ca95b9ca2 12036 coq-iris_4.0.0-2build2.debian.tar.xz
 88b5b4d6176d11ce5b12c4be7a79c1cef61856eecc6863aa3f915126ac3fa73f 10887 coq-iris_4.0.0-2build2_source.buildinfo
Files:
 a760306d0d57a9b004feec00a8561f55 2146 ocaml optional coq-iris_4.0.0-2build2.dsc
 9e37ec13cfadf8d3f43c3f0256b6cd22 12036 ocaml optional coq-iris_4.0.0-2build2.debian.tar.xz
 b3cc61255eae50efcc9c2c46cbfcc861 10887 ocaml optional coq-iris_4.0.0-2build2_source.buildinfo