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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:31:20 +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-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:31:20 +0100
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.0.0-3build1
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-3build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d50f114125b6aef39204b8fddabe0abf92405d96 2151 coq-iris_4.0.0-3build1.dsc
 806b107eb5311eac11723c1748c04df51b04420b 12040 coq-iris_4.0.0-3build1.debian.tar.xz
 dc53da1fd157308d4428efb2efcf15d035a95692 10233 coq-iris_4.0.0-3build1_source.buildinfo
Checksums-Sha256:
 314b8f6c01cc905fbc4fc512bdf601f32385f77e6b1fad6a3f2ddf39920d4bb6 2151 coq-iris_4.0.0-3build1.dsc
 b46e922da1415c23256a0f9f20c335efd0ba4ce0edb3b290bc504754879fff09 12040 coq-iris_4.0.0-3build1.debian.tar.xz
 ac253487f77c1c26ded2c9cdbe3f42052a02338358581800a1ef6730cc96b729 10233 coq-iris_4.0.0-3build1_source.buildinfo
Files:
 fc9b5b0ef3ef62cec7f60bf0afad42b9 2151 ocaml optional coq-iris_4.0.0-3build1.dsc
 1142e213a0b9c664040dd8f7b7d2cbd0 12040 ocaml optional coq-iris_4.0.0-3build1.debian.tar.xz
 7636d2bb11b2803362726cc11f731843 10233 ocaml optional coq-iris_4.0.0-3build1_source.buildinfo