[ubuntu/mantic-proposed] coq-iris 4.0.0-4build1 (Accepted)

[Gianfranco Costamagna]

coq-iris (4.0.0-4build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:12:33 +0200
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-4build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:12:33 +0200
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.0.0-4build1
Distribution: mantic
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-4build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 592c0883cb55d8e5b37aebefc8e1e75013dd28e0 2151 coq-iris_4.0.0-4build1.dsc
 ff8225b1f74986653b0968649576c72824d5124c 12072 coq-iris_4.0.0-4build1.debian.tar.xz
 9b1dbcfab33f0fb40e0f15ab0e1383e02d663bf4 10878 coq-iris_4.0.0-4build1_source.buildinfo
Checksums-Sha256:
 eb0e1805041cda814556e16447814b107bd2545b1b1c42e66a86326713a0618a 2151 coq-iris_4.0.0-4build1.dsc
 94bd8b30238c4ed3756929f64c6d3a0f2e2907bc0cb4ec952648fc4f0bcd9058 12072 coq-iris_4.0.0-4build1.debian.tar.xz
 3554a39cbcf7349354194d837985f01bf00c8e2ed49e8632979ac2ef645d62b9 10878 coq-iris_4.0.0-4build1_source.buildinfo
Files:
 2b87ab5429eb23659a2be54947b3c5d9 2151 ocaml optional coq-iris_4.0.0-4build1.dsc
 db767529e36205ca1b23f57417680824 12072 ocaml optional coq-iris_4.0.0-4build1.debian.tar.xz
 1f72bbbcfb856a7dbbdf2abcef083989 10878 ocaml optional coq-iris_4.0.0-4build1_source.buildinfo